| Wed, 12 Jan 2011 14:34:11 +0100 | wenzelm | disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers; | file | diff | annotate |
| Tue, 09 Nov 2010 11:27:58 +0100 | wenzelm | accomodate old manuals that include pdfsetup.sty without isabelle.sty; | file | diff | annotate |