text/basic_properties.tex
changeset 947 ceed680b7f42
parent 939 e3c5c55d901d
child 961 c57afb230bb1
equal deleted inserted replaced
945:341c2a09f9a8 947:ceed680b7f42