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