| Tue, 09 Apr 2013 15:29:25 +0200 | wenzelm | discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; | 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 |
| Fri, 01 Jul 2011 15:16:03 +0200 | wenzelm | proper @{binding} antiquotations (relevant for formal references); | file | diff | annotate |
| Fri, 01 Jul 2011 10:45:49 +0200 | bulwahn | adding a value antiquotation | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |