diff -r 805fa01ac233 -r 8553a957cffa Admin/makebin --- a/Admin/makebin Mon Apr 19 14:04:41 2004 +0200 +++ b/Admin/makebin Tue Apr 20 04:09:19 2004 +0200 @@ -93,6 +93,16 @@ "$TAR" xzf "$ARCHIVE_FULL" cd "$ISABELLE_NAME" +# FIXME: ugly hack to get proper HOL4 image +# needs HOL4 proof terms installed in ~/isabelle/proofs +# desperately needs fix for next release! +cat > src/HOL/Import/HOL/ROOT.ML <