dropped support for SML/NJ 109.x;
authorwenzelm
Wed Oct 21 14:05:49 1998 +0200 (1998-10-21)
changeset 5708fb09ab6a447f
parent 5707 b0e631634b5a
child 5709 35b07f8e67b6
dropped support for SML/NJ 109.x;
README.html
etc/settings
lib/scripts/run-smlnj
src/Pure/ML-Systems/smlnj.ML
     1.1 --- a/README.html	Wed Oct 21 13:31:30 1998 +0200
     1.2 +++ b/README.html	Wed Oct 21 14:05:49 1998 +0200
     1.3 @@ -52,8 +52,7 @@
     1.4  <a
     1.5  href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
     1.6  needs lots of store and disk space, but it is free.  The current
     1.7 -official release is 110.x, working versions 109.27 to 109.33 should
     1.8 -also work.  We also still support the old 0.93 release.
     1.9 +official release is 110.  We also still support the old 0.93 release.
    1.10  
    1.11  <p>
    1.12  
     2.1 --- a/etc/settings	Wed Oct 21 13:31:30 1998 +0200
     2.2 +++ b/etc/settings	Wed Oct 21 14:05:49 1998 +0200
     2.3 @@ -11,6 +11,16 @@
     2.4  ## Uncomment and adapt one of the sections below.  Note that ML_HOME
     2.5  ## specifies the location of the actual compiler binaries.
     2.6  
     2.7 +# Standard ML of New Jersey 110 or later
     2.8 +#ML_SYSTEM=smlnj-110
     2.9 +#ML_HOME=/usr/local/smlnj-110/bin
    2.10 +#ML_OPTIONS="@SMLdebug=/dev/null"
    2.11 +
    2.12 +# MLWorks 2.0 or later
    2.13 +#ML_SYSTEM=mlworks
    2.14 +#ML_HOME=/usr/local/mlworks/bin
    2.15 +#ML_OPTIONS=""
    2.16 +
    2.17  # Poly/ML 2.x
    2.18  #ML_SYSTEM=polyml-2.07
    2.19  #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    2.20 @@ -27,21 +37,6 @@
    2.21  #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
    2.22  #ML_OPTIONS=""
    2.23  
    2.24 -# Standard ML of New Jersey 109.27 to 109.33
    2.25 -#ML_SYSTEM=smlnj-109
    2.26 -#ML_HOME=/usr/proj/smlnj/109.32/bin
    2.27 -#ML_OPTIONS="@SMLdebug=/dev/null"
    2.28 -
    2.29 -# Standard ML of New Jersey 110 or later
    2.30 -#ML_SYSTEM=smlnj-110
    2.31 -#ML_HOME=/usr/local/smlnj-110/bin
    2.32 -#ML_OPTIONS="@SMLdebug=/dev/null"
    2.33 -
    2.34 -# MLWorks 1.0r2 or later (2.0 recommended)
    2.35 -#ML_SYSTEM=mlworks
    2.36 -#ML_HOME=/usr/local/mlworks/bin
    2.37 -#ML_OPTIONS=""
    2.38 -
    2.39  
    2.40  ###
    2.41  ### Compilation options
     3.1 --- a/lib/scripts/run-smlnj	Wed Oct 21 13:31:30 1998 +0200
     3.2 +++ b/lib/scripts/run-smlnj	Wed Oct 21 14:05:49 1998 +0200
     3.3 @@ -2,7 +2,7 @@
     3.4  #
     3.5  # $Id$
     3.6  #
     3.7 -# SML/NJ startup script (for 109.27-109.33, 110 or later).
     3.8 +# SML/NJ startup script (for 110 or later).
     3.9  #
    3.10  # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP,
    3.11  # and from settings
     4.1 --- a/src/Pure/ML-Systems/smlnj.ML	Wed Oct 21 13:31:30 1998 +0200
     4.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed Oct 21 14:05:49 1998 +0200
     4.3 @@ -2,8 +2,7 @@
     4.4      ID:         $Id$
     4.5      Author:     Carsten Clasohm and Markus Wenzel, TU Muenchen
     4.6  
     4.7 -Compatibility file for Standard ML of New Jersey versions 109.27 to
     4.8 -109.33, and 110 or later.
     4.9 +Compatibility file for Standard ML of New Jersey 110 or later.
    4.10  *)
    4.11  
    4.12  (** ML system related **)