Admin/makebin
2008-10-04 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-07-14 wenzelm removed HOL-Complex, which has been discontinued after Isabelle2008;
2008-07-14 wenzelm added HOL-Nominal image;
2008-05-30 wenzelm THIS_IS_ISABELLE_MAKEBIN is back;
2008-03-06 wenzelm removed obsolete THIS_IS_ISABELLE_BUILD/MAKEBIN feature;
2007-10-24 wenzelm THIS_IS_ISABELLE_MAKEBIN;
2007-05-30 wenzelm removed HOL4 image, which seldom works;
2005-09-26 wenzelm tuned;
2005-09-21 wenzelm tuned;
2005-09-21 wenzelm updated for Isabelle2005;
2005-09-21 wenzelm updated for Isabelle2005;
2005-05-17 wenzelm removed THIS_IS_ISABELLE_ADMIN;
2004-04-20 kleing add HOL4 image, needs fixing
2003-05-13 kleing HOL-Real -> HOL-Complex Isabelle2003
2002-03-01 wenzelm clarified -l option;
2002-02-28 wenzelm export THIS_IS_ISABELLE_ADMIN=true;
2002-01-21 wenzelm save library;
2002-01-21 wenzelm options -l and -t;
2002-01-11 wenzelm #!/usr/bin/env bash;
2001-12-08 wenzelm use /var/tmp (which happens to be more spacious on atbroy37);
2001-09-26 wenzelm activate default ISABELLE_USEDIR_OPTIONS for precompiled distribution;
2000-10-23 wenzelm comment out Pure-copied target;
2000-09-28 wenzelm include log files;
2000-09-28 wenzelm ./build -b -m Pure-copied Pure;
2000-09-27 wenzelm THIS_IS_ISABELLE_BUILD;
2000-09-26 wenzelm FAKE_BUILD="";
2000-09-26 wenzelm tuned;
2000-09-26 wenzelm make Isabelle logic images for current platform;
less more (0) tip