| Thu, 20 Mar 2014 22:34:27 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 30 Aug 2011 17:51:30 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | file | diff | annotate |
| Thu, 11 Feb 2010 22:19:58 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 27 Sep 2001 15:42:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 30 Oct 2000 18:24:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Jul 2000 11:41:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 23 Mar 2000 11:27:52 +0100 | wenzelm | ex/Antiquote.thy made new-style theory; | file | diff | annotate |
| Mon, 24 Aug 1998 18:17:25 +0200 | wenzelm | added Antiquote example; | file | diff | annotate |