diff -r 9e10962866b0 -r 17d7fad9c9a2 src/Cube/Makefile
--- a/src/Cube/Makefile	Tue Mar 14 10:40:04 1995 +0100
+++ b/src/Cube/Makefile	Wed Mar 15 10:34:47 1995 +0100
@@ -25,8 +25,8 @@
 	case "$(COMP)" in \
 	poly*)	echo 'make_database"$(BIN)/Cube"; quit();'  \
 			| $(COMP) $(BIN)/Pure;\
-		echo 'open PolyML; use"ROOT";' | $(COMP) $(BIN)/Cube ;;\
-	sml*)	echo 'use"ROOT.ML"; xML"$(BIN)/Cube" banner;' | $(BIN)/Pure ;;\
+		echo 'open PolyML; exit_use"ROOT";' | $(COMP) $(BIN)/Cube ;;\
+	sml*)	echo 'exit_use"ROOT.ML"; xML"$(BIN)/Cube" banner;' | $(BIN)/Pure ;;\
 	*)	echo Bad value for ISABELLECOMP: \
                 	$(COMP) is not poly or sml;;\
 	esac
@@ -36,8 +36,8 @@
 
 test:   ex.ML $(BIN)/Cube
 	case "$(COMP)" in \
-	poly*)	echo 'use"ex.ML"; quit();' | $(COMP) $(BIN)/Cube ;;\
-	sml*)	echo 'use"ex.ML";' | $(BIN)/Cube;;\
+	poly*)	echo 'exit_use"ex.ML"; quit();' | $(COMP) $(BIN)/Cube ;;\
+	sml*)	echo 'exit_use"ex.ML";' | $(BIN)/Cube;;\
 	*)	echo Bad value for ISABELLECOMP: \
                 	$(COMP) is not poly or sml;;\
 	esac