1.1 --- a/etc/settings	Sat May 30 22:37:38 2009 +0200
     1.2 +++ b/etc/settings	Sun May 31 14:15:07 2009 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  # not invent new ML system names unless you know what you are doing.
     1.5  # Only one of the sections below should be activated.
     1.6  
     1.7 -# Poly/ML 4.x/5.x (automated settings)
     1.8 +# Poly/ML 5.x (automated settings)
     1.9  POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
    1.10  ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
    1.11  ML_HOME=$(choosefrom \
    1.12 @@ -41,12 +41,6 @@
    1.13  #ML_SYSTEM=polyml-5.1
    1.14  #ML_OPTIONS="-H 1000"
    1.15  
    1.16 -# Poly/ML 4.2.0
    1.17 -#ML_PLATFORM=x86-linux
    1.18 -#ML_HOME=/usr/local/polyml/x86-linux
    1.19 -#ML_SYSTEM=polyml-4.2.0
    1.20 -#ML_OPTIONS="-H 80"
    1.21 -
    1.22  # Standard ML of New Jersey (slow!)
    1.23  #ML_SYSTEM=smlnj-110
    1.24  #ML_HOME="/usr/local/smlnj/bin"