diff -r b4c7cb040644 -r c418146c4763 Admin/makebin
--- a/Admin/makebin	Wed Sep 26 23:00:41 2001 +0200
+++ b/Admin/makebin	Wed Sep 26 23:01:48 2001 +0200
@@ -64,6 +64,9 @@
 "$TAR" xzf "$ARCHIVE_FULL"
 cd "$ISABELLE_NAME"
 
+#activate default for precompiled distribution ...
+perl -pi -e 's/#ISABELLE_USEDIR_OPTIONS/ISABELLE_USEDIR_OPTIONS/' etc/settings
+
 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER)
 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \
   echo "### WARNING!  Personal Isabelle settings present. " >&2
@@ -77,8 +80,6 @@
   touch "heaps/$COMPILER/HOL-Real"
   touch "heaps/$COMPILER/ZF"
 else
-  #FIXME for Poly/ML 3.x only ...
-  #./build -b -m Pure-copied Pure
   ./build -b -m HOL-Real HOL
   ./build -b ZF
   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"