| 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 |