tuned comments;
authorwenzelm
Wed Dec 13 12:10:54 2006 +0100 (2006-12-13)
changeset 218122776dcfd5617
parent 21811 6a35e8ec8d75
child 21813 06a06f6d3166
tuned comments;
etc/settings
     1.1 --- a/etc/settings	Wed Dec 13 12:07:43 2006 +0100
     1.2 +++ b/etc/settings	Wed Dec 13 12:10:54 2006 +0100
     1.3 @@ -16,7 +16,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 (automated settings)
     1.8 +# Poly/ML 4.x/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 @@ -30,18 +30,18 @@
    1.13  ML_OPTIONS="-H 80"
    1.14  ML_DBASE=""
    1.15  
    1.16 -# Poly/ML 4.2.0 (manual settings)
    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  # Poly/ML 5.0
    1.23  #ML_PLATFORM=x86_64-linux
    1.24  #ML_HOME=/usr/local/polyml/x86_64-linux
    1.25  #ML_SYSTEM=polyml-5.0
    1.26  #ML_OPTIONS="-H 500"
    1.27  
    1.28 +# Poly/ML 4.2.0
    1.29 +#ML_PLATFORM=x86-linux
    1.30 +#ML_HOME=/usr/local/polyml/x86-linux
    1.31 +#ML_SYSTEM=polyml-4.2.0
    1.32 +#ML_OPTIONS="-H 80"
    1.33 +
    1.34  # Standard ML of New Jersey 110 or later
    1.35  #SMLNJ_CYGWIN_RUNTIME=1
    1.36  #ML_SYSTEM=smlnj-110