text/basic_properties.tex
changeset 491 045e01f63729
parent 486 354750591746
child 492 833bd74143a4
equal deleted inserted replaced
490:e9ef2270eb61 491:045e01f63729