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