--- a/README.html Wed Oct 21 13:31:30 1998 +0200
+++ b/README.html Wed Oct 21 14:05:49 1998 +0200
@@ -52,8 +52,7 @@
<a
href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
needs lots of store and disk space, but it is free. The current
-official release is 110.x, working versions 109.27 to 109.33 should
-also work. We also still support the old 0.93 release.
+official release is 110. We also still support the old 0.93 release.
<p>
--- a/etc/settings Wed Oct 21 13:31:30 1998 +0200
+++ b/etc/settings Wed Oct 21 14:05:49 1998 +0200
@@ -11,6 +11,16 @@
## Uncomment and adapt one of the sections below. Note that ML_HOME
## specifies the location of the actual compiler binaries.
+# Standard ML of New Jersey 110 or later
+#ML_SYSTEM=smlnj-110
+#ML_HOME=/usr/local/smlnj-110/bin
+#ML_OPTIONS="@SMLdebug=/dev/null"
+
+# MLWorks 2.0 or later
+#ML_SYSTEM=mlworks
+#ML_HOME=/usr/local/mlworks/bin
+#ML_OPTIONS=""
+
# Poly/ML 2.x
#ML_SYSTEM=polyml-2.07
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
@@ -27,21 +37,6 @@
#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
#ML_OPTIONS=""
-# Standard ML of New Jersey 109.27 to 109.33
-#ML_SYSTEM=smlnj-109
-#ML_HOME=/usr/proj/smlnj/109.32/bin
-#ML_OPTIONS="@SMLdebug=/dev/null"
-
-# Standard ML of New Jersey 110 or later
-#ML_SYSTEM=smlnj-110
-#ML_HOME=/usr/local/smlnj-110/bin
-#ML_OPTIONS="@SMLdebug=/dev/null"
-
-# MLWorks 1.0r2 or later (2.0 recommended)
-#ML_SYSTEM=mlworks
-#ML_HOME=/usr/local/mlworks/bin
-#ML_OPTIONS=""
-
###
### Compilation options
--- a/lib/scripts/run-smlnj Wed Oct 21 13:31:30 1998 +0200
+++ b/lib/scripts/run-smlnj Wed Oct 21 14:05:49 1998 +0200
@@ -2,7 +2,7 @@
#
# $Id$
#
-# SML/NJ startup script (for 109.27-109.33, 110 or later).
+# SML/NJ startup script (for 110 or later).
#
# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP,
# and from settings
--- a/src/Pure/ML-Systems/smlnj.ML Wed Oct 21 13:31:30 1998 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML Wed Oct 21 14:05:49 1998 +0200
@@ -2,8 +2,7 @@
ID: $Id$
Author: Carsten Clasohm and Markus Wenzel, TU Muenchen
-Compatibility file for Standard ML of New Jersey versions 109.27 to
-109.33, and 110 or later.
+Compatibility file for Standard ML of New Jersey 110 or later.
*)
(** ML system related **)