| Tue, 06 Jun 2006 10:05:57 +0200 | ballarin | Improved parameter management of locales. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 02 Aug 2004 09:44:46 +0200 | ballarin | Theories now take advantage of recent syntax improvements with (structure). | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Fri, 16 Apr 2004 04:07:10 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | file | diff | annotate |
| Mon, 05 May 2003 10:53:27 +0200 | ballarin | Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks). | file | diff | annotate |