Admin/makebin
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-11-29 ago added HOLCF image;
2009-04-03 ago single-threaded build;
2008-10-04 ago simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-07-14 ago removed HOL-Complex, which has been discontinued after Isabelle2008;
2008-07-14 ago added HOL-Nominal image;
2008-05-30 ago THIS_IS_ISABELLE_MAKEBIN is back;
2008-03-06 ago removed obsolete THIS_IS_ISABELLE_BUILD/MAKEBIN feature;
2007-10-24 ago THIS_IS_ISABELLE_MAKEBIN;
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;