# HG changeset patch # User kleing # Date 1082426959 -7200 # Node ID 8553a957cffa73db48ff9fc56ef9b95742815bc4 # Parent 805fa01ac2337790fd555991f1231d3ef6b2e3fb add HOL4 image, needs fixing 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 <