text/basic_properties.tex
changeset 944 0bf2002737f0
parent 939 e3c5c55d901d
child 961 c57afb230bb1
equal deleted inserted replaced
943:0a578230ee21 944:0bf2002737f0