--- a/README.html Wed Aug 06 14:15:05 1997 +0200
+++ b/README.html Wed Aug 06 14:35:52 1997 +0200
@@ -47,8 +47,7 @@
<li> Poly/ML versions 2.x and 3.1 on Suns.
<li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
problems with Linux and HP-UX.
-<li> SML/NJ 1.07 on Suns, Linux, etc.
-<li> SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc.
+<li> SML/NJ 1.09.27 or later on Suns, Linux, etc.
</ul>
<p>
--- a/lib/scripts/run-smlnj Wed Aug 06 14:15:05 1997 +0200
+++ b/lib/scripts/run-smlnj Wed Aug 06 14:35:52 1997 +0200
@@ -2,7 +2,7 @@
#
# $Id$
#
-# SML/NJ startup script (for 1.06 or later).
+# SML/NJ startup script (for 1.09.27 or later).
#
# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
# and from settings
@@ -24,11 +24,6 @@
SUFFIX=""
case "$ML_SYSTEM" in
- smlnj-1.0[678]*)
- EXIT="val exit = System.Unix.exit;"
- COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
- COMMIT_RO='fun commit () = (output (std_err, "Error - Database is not opened for writing.\\n"); false);'
- ;;
smlnj-1.09*)
EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"