text/basic_properties.tex
changeset 644 975c807661ca
parent 560 b138ee4a5938
child 705 ef503460486d
equal deleted inserted replaced
643:212991f176d1 644:975c807661ca