| Mon, 25 Feb 2013 13:29:19 +0100 | wenzelm | discontinued pointless command category "thy_schematic_goal" -- this is checked dynamically; | file | diff | annotate |
| Fri, 04 Jan 2013 11:21:31 +0100 | wenzelm | more formal inlining of system information; | file | diff | annotate |
| Mon, 20 Aug 2012 14:09:09 +0200 | wenzelm | added keyword kind "thy_load" (with optional list of file extensions); | file | diff | annotate |
| Fri, 16 Mar 2012 21:20:23 +0100 | wenzelm | more abstract heading level; | file | diff | annotate |
| Fri, 16 Mar 2012 20:33:33 +0100 | wenzelm | uniform keyword names within ML/Scala -- produce elisp names via external conversion; | file | diff | annotate |
| Fri, 23 Apr 2010 22:39:49 +0200 | wenzelm | collapse category "schematic goal" in keyword table -- Proof General does not know about this; | file | diff | annotate |
| Sun, 07 Feb 2010 19:54:12 +0100 | wenzelm | modernized perl scripts: prefer standalone executables; | file | diff | annotate | base |