1.1 --- a/etc/settings Wed Aug 30 14:45:50 2000 +0200
1.2 +++ b/etc/settings Wed Aug 30 15:27:53 2000 +0200
1.3 @@ -14,13 +14,13 @@
1.4 # binaries. Do not invent new ML system names unless you know what
1.5 # you are doing.
1.6
1.7 -# Poly/ML 3.x
1.8 +# Poly/ML 3.x or later
1.9 POLYML_HOME=$(choosefrom \
1.10 "$ISABELLE_HOME/contrib/polyml" \
1.11 "$ISABELLE_HOME/../polyml")
1.12 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
1.13 ML_HOME=$POLYML_HOME/$ML_PLATFORM
1.14 -ML_SYSTEM=polyml-3.x
1.15 +ML_SYSTEM=$($POLYML_HOME/bin/polyml-version 2>/dev/null)
1.16 ML_OPTIONS="-h 30000"
1.17
1.18 # Standard ML of New Jersey 110 or later