doc-src/pdfsetup.sty
Tue, 09 Nov 2010 11:27:58 +0100 wenzelm accomodate old manuals that include pdfsetup.sty without isabelle.sty;
Mon, 08 Nov 2010 11:28:22 +0100 wenzelm more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
Sun, 07 Nov 2010 22:51:16 +0100 wenzelm basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols;
less more (0) -10 -3 tip