text/basic_properties.tex
changeset 965 987af9e53631
parent 961 c57afb230bb1