1.1 --- a/etc/settings Wed Aug 30 15:27:53 2000 +0200
1.2 +++ b/etc/settings Wed Aug 30 15:30:19 2000 +0200
1.3 @@ -19,8 +19,8 @@
1.4 "$ISABELLE_HOME/contrib/polyml" \
1.5 "$ISABELLE_HOME/../polyml")
1.6 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
1.7 +ML_SYSTEM=$($POLYML_HOME/bin/polyml-version 2>/dev/null)
1.8 ML_HOME=$POLYML_HOME/$ML_PLATFORM
1.9 -ML_SYSTEM=$($POLYML_HOME/bin/polyml-version 2>/dev/null)
1.10 ML_OPTIONS="-h 30000"
1.11
1.12 # Standard ML of New Jersey 110 or later