text/basic_properties.tex
changeset 317 1c898c2d0ebd
parent 314 6e23226d1cca
child 332 160ca7078ae9
equal deleted inserted replaced
316:c876013ea42e 317:1c898c2d0ebd