| Fri, 08 Oct 2010 17:41:51 +0100 | wenzelm | eliminated fancy \ML logo for the sake of simpler source text (less dependence on LaTeX); | file | diff | annotate |
| Thu, 07 Oct 2010 12:39:01 +0100 | wenzelm | minor tuning and updating; | file | diff | annotate |
| Fri, 24 Sep 2010 15:53:13 +0200 | wenzelm | modernized structure Ord_List; | file | diff | annotate |
| Thu, 24 Jun 2010 21:57:18 +0200 | wenzelm | explicit treatment of UTF8 character sequences as Isabelle symbols; | file | diff | annotate |
| Mon, 03 May 2010 14:31:33 +0200 | wenzelm | ProofContext.init_global; | file | diff | annotate |
| Sat, 27 Feb 2010 23:13:01 +0100 | wenzelm | modernized structure Term_Ord; | file | diff | annotate |
| Tue, 02 Feb 2010 11:47:49 +0100 | wenzelm | moved examples to proper place; | file | diff | annotate |
| Mon, 01 Feb 2010 22:46:12 +0100 | wenzelm | more details on long names, binding/naming, name space; | file | diff | annotate |