# HG changeset patch
# User wenzelm
# Date 908971549 -7200
# Node ID fb09ab6a447f5f14d6d23ad25a048ccb38a24c6c
# Parent  b0e631634b5a7b7a63184bd42dc2c5d38696ef7d
dropped support for SML/NJ 109.x;

diff -r b0e631634b5a -r fb09ab6a447f README.html
--- 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>
 
diff -r b0e631634b5a -r fb09ab6a447f etc/settings
--- 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
diff -r b0e631634b5a -r fb09ab6a447f lib/scripts/run-smlnj
--- 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
diff -r b0e631634b5a -r fb09ab6a447f src/Pure/ML-Systems/smlnj.ML
--- 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 **)