text/basic_properties.tex
changeset 394 eac3c57c808a
parent 342 1d76e832d32f
child 403 ef36cdefb130
equal deleted inserted replaced
389:facac77e9a72 394:eac3c57c808a