| Tue, 09 Nov 2010 11:27:58 +0100 | wenzelm | accomodate old manuals that include pdfsetup.sty without isabelle.sty; | file | diff | annotate |
| Mon, 08 Nov 2010 11:28:22 +0100 | wenzelm | more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour; | file | diff | annotate |