text/basic_properties.tex
changeset 520 987d0010d326
parent 506 4a23163843a9
child 551 9dfb5db2acd7
equal deleted inserted replaced
519:1e56e60dcf15 520:987d0010d326