| 2010-02-07 | wenzelm | modernized perl scripts: prefer standalone executables; | file | diff | annotate |
| 2009-11-14 | wenzelm | generate keywords for Emacs Proof General only; | file | diff | annotate |
| 2008-12-20 | wenzelm | removed Ids; | file | diff | annotate |
| 2008-10-21 | wenzelm | tuned usage line; | file | diff | annotate |
| 2008-04-08 | wenzelm | removed obsolete AUTO_PERL feature; | file | diff | annotate |
| 2007-10-07 | wenzelm | added target tool specification; | file | diff | annotate |
| 2007-10-06 | wenzelm | tuned; | file | diff | annotate |
| 2007-10-06 | wenzelm | generate outer syntax keyword files from session logs; | file | diff | annotate |