text/basic_properties.tex
changeset 707 d00275e7a9bd
parent 705 ef503460486d
child 713 eafdb7806df3
equal deleted inserted replaced
706:553808396b6f 707:d00275e7a9bd