text/basic_properties.tex
changeset 710 8afdf00cc318
parent 705 ef503460486d
child 713 eafdb7806df3
equal deleted inserted replaced
709:82ad3345da91 710:8afdf00cc318