| Fri, 27 Jul 2012 22:26:38 +0200 | haftmann | evaluation: allow multiple code modules | file | diff | annotate |
| Thu, 19 Apr 2012 19:18:11 +0200 | haftmann | dropped dead code | file | diff | annotate |
| Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
| Thu, 15 Mar 2012 20:07:00 +0100 | wenzelm | prefer formally checked @{keyword} parser; | file | diff | annotate |
| Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | file | diff | annotate |
| Wed, 29 Feb 2012 23:09:06 +0100 | wenzelm | clarified module Thy_Load; | file | diff | annotate |
| Wed, 09 Nov 2011 21:36:18 +0100 | wenzelm | misc tuning; | file | diff | annotate |