two forgotten tilde directives added; recent fixes fixed
commit17ac441c5cc31157e35490ad4f41b6f404eb4a8b
authortailor <trebbu@googlemail.com>
Sat, 25 Oct 2008 21:05:41 +0000 (25 23:05 +0200)
committertailor <trebbu@googlemail.com>
Sat, 25 Oct 2008 21:05:41 +0000 (25 23:05 +0200)
tree0767aa034d10d68e8d451557a31d81c59bae1498
parent0933ece47c99f8a786b2c490ca1e51169d43a538
two forgotten tilde directives added; recent fixes fixed
12 files changed:
TODO
clqr-compiler.tex
clqr-conditions-and-errors.tex
clqr-control-structure.tex
clqr-input-output.tex
clqr-numbers.tex
clqr-packages-and-symbols.tex
clqr-types-and-classes.tex
color-current.tex
html/index.php
html/printing.html
paper-current.tex