text/basic_properties.tex
changeset 980 53843b0d9ff2
parent 961 c57afb230bb1