| Fri, 28 Mar 2008 19:12:39 +0100 | haftmann | some styling | file | diff | annotate |
| Fri, 28 Mar 2008 00:02:54 +0100 | wenzelm | reorganized signature of ML_Context; | file | diff | annotate |
| Mon, 24 Mar 2008 23:34:24 +0100 | wenzelm | ML runtime compilation: pass position, tuned signature; | file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Thu, 09 Aug 2007 16:56:17 +0200 | wenzelm | adapted ThyLoad.check_thy; | file | diff | annotate |
| Thu, 19 Jul 2007 15:33:27 +0200 | berghofe | Added named_thms antiquotation. | file | diff | annotate |
| Sun, 08 Jul 2007 19:51:51 +0200 | wenzelm | renamed ML_exc to ML_exn; | file | diff | annotate |
| Sat, 10 Feb 2007 09:26:07 +0100 | haftmann | added antiquotation for exceptions | file | diff | annotate |
| Fri, 19 Jan 2007 22:08:01 +0100 | wenzelm | renamed IsarOutput to ThyOutput; | file | diff | annotate |
| Fri, 19 Jan 2007 13:16:37 +0100 | wenzelm | adapted ML context operations; | file | diff | annotate |
| Wed, 15 Nov 2006 15:37:34 +0100 | wenzelm | Auxiliary antiquotations for Isabelle manuals. | file | diff | annotate |