| Fri, 02 Jul 2010 21:48:54 +0200 | wenzelm | standard argument order; | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Thu, 27 May 2010 18:10:37 +0200 | wenzelm | renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time; | file | diff | annotate |
| Sat, 08 May 2010 14:41:23 +0200 | wenzelm | back-patching via Single_Assignment.var; | file | diff | annotate |
| Mon, 03 May 2010 14:25:56 +0200 | wenzelm | renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing; | file | diff | annotate |
| Mon, 19 Apr 2010 23:11:39 +0200 | wenzelm | update_syntax: add new productions only once, to allow repeated local notation, for example; | file | diff | annotate |
| Tue, 09 Mar 2010 14:29:47 +0100 | wenzelm | simplified Syntax.basic_syntax (again); | file | diff | annotate |