| Thu, 19 Apr 2012 19:18:47 +0200 | haftmann | tuned whitespace | file | diff | annotate |
| Thu, 15 Mar 2012 22:08:53 +0100 | wenzelm | declare command keywords via theory header, including strict checking outside Pure; | file | diff | annotate |
| Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | file | diff | annotate |
| Wed, 19 Oct 2011 09:11:20 +0200 | bulwahn | removing old code generator | file | diff | annotate |
| Wed, 10 Aug 2011 20:53:43 +0200 | wenzelm | old term operations are legacy; | file | diff | annotate |
| Wed, 10 Aug 2011 20:12:36 +0200 | wenzelm | moved old code generator to src/Tools/; | file | diff | annotate |
| Fri, 01 Jul 2011 10:45:49 +0200 | bulwahn | adding a value antiquotation | file | diff | annotate |