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