| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Fri, 26 Nov 2010 23:51:34 +0100 | wenzelm | eliminated some generated comments; | file | diff | annotate |
| Thu, 29 Oct 2009 15:47:03 +0100 | nipkow | small fixes | file | diff | annotate |
| Thu, 15 May 2008 20:02:42 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Tue, 31 May 2005 12:16:42 +0200 | nipkow | \nexists | file | diff | annotate |
| Wed, 25 May 2005 10:51:42 +0200 | nipkow | added ? explanations | file | diff | annotate |
| Thu, 12 May 2005 09:45:54 +0200 | nipkow | fixed a few things and added Haftmann as author | file | diff | annotate |
| Sun, 10 Apr 2005 11:41:29 +0200 | nipkow | section on qmark | file | diff | annotate |
| Thu, 03 Feb 2005 03:56:11 +0100 | kleing | removed sugar.sty (obsolete for devel version) | file | diff | annotate |
| Fri, 03 Dec 2004 07:23:19 +0100 | kleing | more sugar | file | diff | annotate |
| Mon, 29 Nov 2004 18:49:35 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 29 Nov 2004 11:12:19 +0100 | nipkow | New | file | diff | annotate |