--- a/Makefile Fri Nov 04 14:19:30 1994 +0100
+++ b/Makefile Sun Nov 06 21:04:39 1994 +0100
@@ -84,7 +84,7 @@
#Load ex/ROOT.ML last since it creates the file "test"
test: $(BIN)/HOL $(IMP_FILES) $(IOA_FILES) $(SUBST_FILES) $(EX_FILES)
case "$(COMP)" in \
- poly*) echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"; quit();' \
+ poly*) echo '(use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML"); quit();' \
| $(COMP) $(BIN)/HOL ;;\
sml*) echo 'use"IMP/ROOT.ML"; use"IOA/ROOT.ML"; use"Subst/ROOT.ML"; use"ex/ROOT.ML";' | $(BIN)/HOL;;\
*) echo Bad value for ISABELLECOMP: \