text/basic_properties.tex
changeset 517 ed6a88796487
parent 506 4a23163843a9
child 551 9dfb5db2acd7
equal deleted inserted replaced
516:ec5c68b275c0 517:ed6a88796487