2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD/MAKEBIN feature;
2007-05-30 ago removed HOL4 image, which seldom works;
2005-09-26 ago tuned;
2005-09-21 ago tuned;
2005-09-21 ago updated for Isabelle2005;
2005-09-21 ago updated for Isabelle2005;
2005-05-17 ago removed THIS_IS_ISABELLE_ADMIN;
2004-04-20 ago add HOL4 image, needs fixing
2003-05-13 ago HOL-Real -> HOL-Complex
2002-03-01 ago clarified -l option;
2002-02-28 ago export THIS_IS_ISABELLE_ADMIN=true;
2002-01-21 ago save library;
2002-01-21 ago options -l and -t;
2002-01-11 ago #!/usr/bin/env bash;
2001-12-08 ago use /var/tmp (which happens to be more spacious on atbroy37);
2001-09-26 ago activate default ISABELLE_USEDIR_OPTIONS for precompiled distribution;
2000-10-23 ago comment out Pure-copied target;
2000-09-28 ago include log files;
2000-09-28 ago ./build -b -m Pure-copied Pure;
2000-09-27 ago THIS_IS_ISABELLE_BUILD;
2000-09-26 ago FAKE_BUILD="";
2000-09-26 ago tuned;
2000-09-26 ago make Isabelle logic images for current platform;