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