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 |
Sun, 05 Apr 2009 23:15:01 +0200 | wenzelm | tuned white space; | file | diff | annotate |
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; | file | diff | annotate |
Thu, 15 May 2008 22:10:18 +0200 | wenzelm | tuned comment; | file | diff | annotate |
Thu, 15 May 2008 22:03:32 +0200 | wenzelm | updated version; | file | diff | annotate |