| 2013-07-12 | wenzelm | allow spaces in file names; | file | diff | annotate |
| 2010-02-07 | wenzelm | modernized perl scripts: prefer standalone executables; | 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 |
| 2005-04-26 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| 2005-03-04 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2000-11-30 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| 2000-11-22 | wenzelm | tuned; | file | diff | annotate |
| 2000-09-18 | wenzelm | remove unreadable symbol names from sources; | file | diff | annotate |