no longer specifies "-h 15000". Instead $ISABELLECOMP should
include any switch settings.

--- a/src/ZF/Makefile	Tue Oct 26 22:24:20 1993 +0100
+++ b/src/ZF/Makefile	Wed Oct 27 13:49:35 1993 +0100
@@ -32,7 +32,7 @@
 $(BIN)/ZF:   $(BIN)/FOL  $(FILES) 
 	case "$(COMP)" in \
 	poly*)	cp $(BIN)/FOL $(BIN)/ZF;\
-		echo 'open PolyML; use"ROOT";' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/ZF ;;\
 	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/ZF" banner;' | $(BIN)/FOL;;\
 	*)	echo Bad value for ISABELLECOMP;;\
 	esac
@@ -42,7 +42,7 @@
 
 test:   ex/ROOT.ML  $(BIN)/ZF
 	case "$(COMP)" in \
-	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) -h 15000 $(BIN)/ZF ;;\
+	poly*)	echo 'use"ex/ROOT.ML"; quit();' | $(COMP) $(BIN)/ZF ;;\
 	sml*)	echo 'use"ex/ROOT.ML";' | $(BIN)/ZF;;\
 	*)	echo Bad value for ISABELLECOMP;;\
 	esac