| 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 |