| 2012-03-16 | wenzelm | more abstract heading level; | file | diff | annotate |
| 2012-03-16 | wenzelm | uniform keyword names within ML/Scala -- produce elisp names via external conversion; | file | diff | annotate |
| 2010-04-23 | wenzelm | collapse category "schematic goal" in keyword table -- Proof General does not know about this; | file | diff | annotate |
| 2010-02-07 | wenzelm | modernized perl scripts: prefer standalone executables; | file | diff | annotate | base |