text/basic_properties.tex
changeset 958 fea0cfe78103
parent 939 e3c5c55d901d
child 961 c57afb230bb1
equal deleted inserted replaced
957:dec5ea4f3452 958:fea0cfe78103