text/basic_properties.tex
changeset 964 0dbaf072e916
parent 961 c57afb230bb1