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 |
Thu, 23 Sep 2010 13:28:53 +0200 | haftmann | resynchronize isabelle.sty | file | diff | annotate |
Mon, 20 Sep 2010 09:19:17 +0200 | haftmann | updated file duplicate | file | diff | annotate |
Tue, 24 Jun 2008 22:27:36 +0200 | wenzelm | updated generated file; | file | diff | annotate |
Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |