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