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 |
Sun, 07 Nov 2010 22:51:16 +0100 | wenzelm | basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols; | file | diff | annotate |