| 1999-07-27 | paulson | installation of simplifier and classical reasoner, better rules etc | file | diff | annotate |
| 1999-02-05 | wenzelm | examples made separate dirs; | file | diff | annotate |
| 1998-01-07 | wenzelm | improved targets; | file | diff | annotate |
| 1997-12-19 | wenzelm | log files; | file | diff | annotate |
| 1997-07-07 | wenzelm | eliminated chmod -w; | file | diff | annotate |
| 1997-05-06 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| 1997-03-20 | wenzelm | isatool usedir; | file | diff | annotate |
| 1997-01-08 | wenzelm | IsaMakefile for Sequents; | file | diff | annotate |