Admin/makebin
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