lib/Tools/makeall
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2005-12-01 ago replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash;
2005-04-26 ago ALL_LOGICS: topological order;
2004-06-21 ago Merged in license change from Isabelle2004
2003-12-06 ago make Pure first to avoid race conditions on multiprocessor machines
2003-02-26 ago == -> =
2002-06-21 ago fail not so early, but produce correct exit code in the end
2002-06-20 ago fail early
2000-11-30 ago /usr/bin/env bash;
2000-11-22 ago tuned;
2000-09-01 ago GPLed;
1999-08-19 ago improved messages;
1997-12-19 ago new version;
1997-10-20 ago rm IOA TLA;
1997-05-06 ago fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-22 ago removed -norc;
1997-04-12 ago tuned comments;
1997-03-18 ago asserts $ISABELLE_OUTPUT_DIR;
1997-02-06 ago removed getplatform, ISABELLE_OUTPUT_DIR;
1997-01-29 ago fixed getplatform call;
1997-01-09 ago make all Isabelle systems afresh;