| 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-01 | wenzelm | GPLed; | file | diff | annotate |
| 1999-10-08 | wenzelm | tuned usage; | file | diff | annotate |
| 1997-04-22 | wenzelm | removed -norc; | file | diff | annotate |
| 1997-02-06 | wenzelm | removed getplatform, ISABELLE_OUTPUT_DIR; | file | diff | annotate |
| 1997-01-09 | wenzelm | *** empty log message *** | file | diff | annotate |
| 1996-12-18 | wenzelm | Isabelle make utility; | file | diff | annotate |