text/basic_properties.tex
changeset 666 6b6c565bd76e
parent 560 b138ee4a5938
child 705 ef503460486d
equal deleted inserted replaced
665:1cfa95e6b8bb 666:6b6c565bd76e