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