removed HOL-Complex, which has been discontinued after Isabelle2008;
authorwenzelm
Mon, 14 Jul 2008 21:07:57 +0200
changeset 27588 0dd8d4c558f9
parent 27587 6f469a8aff10
child 27589 68f98953c784
removed HOL-Complex, which has been discontinued after Isabelle2008;
Admin/makebin
--- a/Admin/makebin	Mon Jul 14 19:59:58 2008 +0200
+++ b/Admin/makebin	Mon Jul 14 21:07:57 2008 +0200
@@ -112,8 +112,6 @@
   mkdir -p "heaps/$COMPILER/log"
   touch "heaps/$COMPILER/HOL"
   touch "heaps/$COMPILER/log/HOL.gz"
-  touch "heaps/$COMPILER/HOL-Complex"
-  touch "heaps/$COMPILER/log/HOL-Complex.gz"
   touch "heaps/$COMPILER/HOL-Nominal"
   touch "heaps/$COMPILER/log/HOL-Nominal.gz"
   touch "heaps/$COMPILER/ZF"
@@ -122,7 +120,6 @@
 elif [ -n "$DO_LIBRARY" ]; then
   ./build -bait
 else
-  ./build -b -m HOL-Complex HOL
   ./build -b -m HOL-Nominal HOL
   ./build -b ZF
   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
@@ -141,7 +138,7 @@
     gzip -f "${ISABELLE_NAME}_library.tar"
     cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
 else
-  for IMG in HOL HOL-Complex HOL-Nominal ZF
+  for IMG in HOL HOL-Nominal ZF
   do
     "$TAR" cf "${IMG}_$PLATFORM.tar" \
       "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \