text/basic_properties.tex
changeset 659 cc0c2dfe61f3
parent 560 b138ee4a5938
child 705 ef503460486d
equal deleted inserted replaced
658:c56a3fe75d1e 659:cc0c2dfe61f3