--- a/etc/settings Sat Oct 15 00:18:00 2011 +0200
+++ b/etc/settings Sat Oct 15 15:55:10 2011 +0200
@@ -29,14 +29,14 @@
ML_SOURCES="$ML_HOME/../src"
# Poly/ML 32 bit (manual settings)
-#ML_SYSTEM=polyml-5.4.0
+#ML_SYSTEM=polyml-5.4.1
#ML_PLATFORM="$ISABELLE_PLATFORM"
#ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM"
#ML_OPTIONS="-H 500"
#ML_SOURCES="$ML_HOME/../src"
# Poly/ML 64 bit (manual settings)
-#ML_SYSTEM=polyml-5.4.0
+#ML_SYSTEM=polyml-5.4.1
#ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
#ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM"
#ML_OPTIONS="-H 1000"