| Sat, 01 Mar 2008 14:10:14 +0100 | wenzelm | added @{const} antiquotation; | file | diff | annotate |
| Tue, 01 Jan 2008 16:09:29 +0100 | wenzelm | eval_wrapper: CRITICAL; | file | diff | annotate |
| Tue, 18 Dec 2007 19:54:34 +0100 | wenzelm | named some critical sections; | file | diff | annotate |
| Thu, 08 Nov 2007 14:51:31 +0100 | wenzelm | renamed ProofContext.read_const' to ProofContext.read_const_proper; | file | diff | annotate |
| Wed, 07 Nov 2007 22:20:13 +0100 | wenzelm | ProofContext.read_const'; | file | diff | annotate |
| Fri, 26 Oct 2007 19:58:32 +0200 | wenzelm | replaced Secure.evaluate by ML_Context.evaluate; | file | diff | annotate |
| Mon, 22 Oct 2007 15:24:55 +0200 | wenzelm | added @{sort}, @{type_syntax} antiquotations; | file | diff | annotate |
| Mon, 24 Sep 2007 21:07:40 +0200 | wenzelm | added @{type_name}; | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:37 +0200 | wenzelm | tuned @{cpat}; | file | diff | annotate |
| Sat, 15 Sep 2007 19:26:06 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 14 Sep 2007 17:02:34 +0200 | wenzelm | moved ML_XXX.ML files to Pure/ML; | file | diff | annotate |