text/basic_properties.tex
changeset 488 efcc71e5489f
parent 486 354750591746
child 492 833bd74143a4
equal deleted inserted replaced
487:c576b7868f05 488:efcc71e5489f