text/basic_properties.tex
changeset 488 efcc71e5489f
parent 486 354750591746
child 492 833bd74143a4