text/basic_properties.tex
changeset 618 d4f22a89b227
parent 560 b138ee4a5938
child 705 ef503460486d
equal deleted inserted replaced
617:6bcf1c3d0eb6 618:d4f22a89b227