| Sun, 07 Feb 2010 19:54:12 +0100 | wenzelm | modernized perl scripts: prefer standalone executables; | file | diff | annotate |
| Sat, 14 Nov 2009 18:15:21 +0100 | wenzelm | generate keywords for Emacs Proof General only; | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Tue, 08 Apr 2008 15:47:10 +0200 | wenzelm | removed obsolete AUTO_PERL feature; | file | diff | annotate |
| Sun, 07 Oct 2007 13:32:15 +0200 | wenzelm | added target tool specification; | file | diff | annotate |
| Sat, 06 Oct 2007 22:07:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 06 Oct 2007 21:25:58 +0200 | wenzelm | generate outer syntax keyword files from session logs; | file | diff | annotate |