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