text/basic_properties.tex
changeset 712 e982f12f163b
parent 705 ef503460486d
child 713 eafdb7806df3
equal deleted inserted replaced
711:bff0c24013fe 712:e982f12f163b