--- a/Admin/polyml/README Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/README Wed May 14 12:00:18 2014 +0200
@@ -1,8 +1,8 @@
Poly/ML for Isabelle
====================
-This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
-official source distribution polyml.5.5.1.tar.gz from
+This compilation of Poly/ML 5.5.2 (http://www.polyml.org) is based on the
+official source distribution polyml.5.5.2.tar.gz from
http://sourceforge.net/projects/polyml/.
The included build script is used like this:
@@ -18,4 +18,4 @@
Makarius
- 17-Sep-2013
+ 14-May-2014
--- a/Admin/polyml/build Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/build Wed May 14 12:00:18 2014 +0200
@@ -69,9 +69,6 @@
x86_64-windows)
OPTIONS=()
;;
- ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)
- OPTIONS=()
- ;;
*)
fail "Bad platform identifier: \"$TARGET\""
;;
--- a/Admin/polyml/settings Tue May 13 22:14:12 2014 +0200
+++ b/Admin/polyml/settings Wed May 14 12:00:18 2014 +0200
@@ -5,7 +5,7 @@
# basic settings
-#ML_SYSTEM=polyml-5.5.1
+#ML_SYSTEM=polyml-5.5.2
#ML_PLATFORM="$ISABELLE_PLATFORM32"
#ML_HOME="$POLYML_HOME/$ML_PLATFORM"
#ML_OPTIONS="-H 500"
@@ -14,7 +14,7 @@
# smart settings
-ML_SYSTEM=polyml-5.5.1
+ML_SYSTEM=polyml-5.5.2
case "$ISABELLE_PLATFORM" in
*-linux)