minor bugfixes, mostly to tilde directives
commit18ebec0018b372021cd5595cb182317b8c677b2c
authortailor <trebbu@googlemail.com>
Thu, 6 Nov 2008 21:35:14 +0000 (6 22:35 +0100)
committertailor <trebbu@googlemail.com>
Thu, 6 Nov 2008 21:35:14 +0000 (6 22:35 +0100)
tree277e5792904a0fcaa3690b76ca360d69eb00d698
parent17ac441c5cc31157e35490ad4f41b6f404eb4a8b
minor bugfixes, mostly to tilde directives
clqr-clos.tex
clqr-conses.tex
clqr-control-structure.tex
clqr-input-output.tex
paper-current.tex