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;
Sun, 05 Apr 2009 23:15:01 +0200 wenzelm tuned white space;
Sun, 05 Apr 2009 23:12:29 +0200 wenzelm \nolinkurl for dvi mode recovers hyphenation of URLs -- this already works by default in PDF mode;
Thu, 15 May 2008 22:10:18 +0200 wenzelm tuned comment;
Thu, 15 May 2008 22:03:32 +0200 wenzelm updated version;
less more (0) -10 -7 tip