--- a/lib/scripts/run-mlworks Fri Sep 15 20:19:24 2000 +0200
+++ b/lib/scripts/run-mlworks Fri Sep 15 20:20:45 2000 +0200
@@ -6,7 +6,7 @@
#
# MLWorks startup script (for 1.0r2 or later).
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
## diagnostics
--- a/lib/scripts/run-mosml Fri Sep 15 20:19:24 2000 +0200
+++ b/lib/scripts/run-mosml Fri Sep 15 20:20:45 2000 +0200
@@ -6,7 +6,7 @@
#
# Moscow ML 2.00 startup script
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
## diagnostics
--- a/lib/scripts/run-polyml Fri Sep 15 20:19:24 2000 +0200
+++ b/lib/scripts/run-polyml Fri Sep 15 20:20:45 2000 +0200
@@ -6,7 +6,7 @@
#
# Poly/ML startup script.
-#tmp export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
## diagnostics
--- a/lib/scripts/run-smlnj Fri Sep 15 20:19:24 2000 +0200
+++ b/lib/scripts/run-smlnj Fri Sep 15 20:20:45 2000 +0200
@@ -6,7 +6,7 @@
#
# SML/NJ startup script (for 110 or later).
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
## diagnostics
--- a/lib/scripts/run-smlnj-0.93 Fri Sep 15 20:19:24 2000 +0200
+++ b/lib/scripts/run-smlnj-0.93 Fri Sep 15 20:20:45 2000 +0200
@@ -6,7 +6,7 @@
#
# SML/NJ startup script (for 0.93).
-export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export -n INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE
## diagnostics