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