text/basic_properties.tex
changeset 949 89bdf3eb03af
parent 939 e3c5c55d901d
child 961 c57afb230bb1