text/basic_properties.tex
changeset 952 86389e393c17
parent 939 e3c5c55d901d
child 961 c57afb230bb1
equal deleted inserted replaced
951:369f30add8d1 952:86389e393c17