text/basic_properties.tex
changeset 975 31dc2bdaf17c
parent 961 c57afb230bb1