lib/scripts/keywords
2010-04-23 wenzelm 2010-04-23 collapse category "schematic goal" in keyword table -- Proof General does not know about this;
2010-02-07 wenzelm 2010-02-07 modernized perl scripts: prefer standalone executables;