| Fri, 16 Mar 2012 20:33:33 +0100 | uniform keyword names within ML/Scala -- produce elisp names via external conversion; | file | diff | annotate |
| Fri, 23 Apr 2010 22:39:49 +0200 | 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 | modernized perl scripts: prefer standalone executables; | file | diff | annotate | base |