etc/settings

 
 # ML_HOME specifies the location of the actual compiler binaries.  Do
 # not invent new ML system names unless you know what you are doing.
 # Only one of the sections below should be activated.
 
-# Poly/ML 4.x (automated settings)
+# Poly/ML 4.x/5.x (automated settings)
 POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
 ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
 ML_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
   "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \

   $POLY_HOME)
 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
 ML_OPTIONS="-H 80"
 ML_DBASE=""
 
-# Poly/ML 4.2.0 (manual settings)
-#ML_PLATFORM=x86-linux
-#ML_HOME=/usr/local/polyml/x86-linux
-#ML_SYSTEM=polyml-4.2.0
-#ML_OPTIONS="-H 80"
-
 # Poly/ML 5.0
 #ML_PLATFORM=x86_64-linux
 #ML_HOME=/usr/local/polyml/x86_64-linux
 #ML_SYSTEM=polyml-5.0
 #ML_OPTIONS="-H 500"
+
+# Poly/ML 4.2.0
+#ML_PLATFORM=x86-linux
+#ML_HOME=/usr/local/polyml/x86-linux
+#ML_SYSTEM=polyml-4.2.0
+#ML_OPTIONS="-H 80"
 
 # Standard ML of New Jersey 110 or later
 #SMLNJ_CYGWIN_RUNTIME=1
 #ML_SYSTEM=smlnj-110
 #ML_HOME="$ISABELLE_HOME/contrib/smlnj/bin"