| Mon, 08 Feb 2010 14:04:51 +0100 | more quotes; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 21:16:53 +0100 | basic setup for chapter "Syntax and type-checking"; | file | diff | annotate |
| Thu, 26 Feb 2009 20:03:32 +0100 | \bibliographystyle{abbrv} for newer ref manuals; | file | diff | annotate |
| Mon, 16 Feb 2009 21:23:33 +0100 | removed rudiments of glossary; | file | diff | annotate |
| Mon, 16 Feb 2009 20:47:44 +0100 | observe usual theory naming conventions; | file | diff | annotate |
| Thu, 13 Nov 2008 22:03:26 +0100 | more contributors; | file | diff | annotate |
| Thu, 15 May 2008 18:12:24 +0200 | use ../isabelle.sty, ../isabellesym.sty; | file | diff | annotate |
| Fri, 09 May 2008 12:44:31 +0200 | added local copy of underscore.sty; | file | diff | annotate |
| Thu, 08 May 2008 22:20:33 +0200 | improved treatment of "_" thanks to underscore.sty; | file | diff | annotate |
| Tue, 08 May 2007 15:36:39 +0200 | tuned; | file | diff | annotate |
| Tue, 12 Sep 2006 14:50:11 +0200 | more on terms; | file | diff | annotate |
| Thu, 07 Sep 2006 15:16:26 +0200 | tuned; | file | diff | annotate |
| Mon, 04 Sep 2006 20:07:55 +0200 | tuned; | file | diff | annotate |
| Mon, 04 Sep 2006 17:06:45 +0200 | tuned; | file | diff | annotate |
| Thu, 31 Aug 2006 22:55:49 +0200 | misc cleanup; | file | diff | annotate |
| Sat, 08 Jul 2006 14:01:40 +0200 | tuned; | file | diff | annotate |
| Thu, 06 Jul 2006 16:49:36 +0200 | tuned; | file | diff | annotate |
| Sat, 04 Mar 2006 21:39:08 +0100 | tuned; | file | diff | annotate |
| Tue, 03 Jan 2006 13:59:55 +0100 | more stuff; | file | diff | annotate |
| Mon, 02 Jan 2006 20:16:52 +0100 | "The Isabelle/Isar Implementation" manual; | file | diff | annotate |