text/basic_properties.tex
changeset 711 bff0c24013fe
parent 705 ef503460486d
child 713 eafdb7806df3