# HG changeset patch
# User wenzelm
# Date 1400061618 -7200
# Node ID b2c2f74d1c93299547bd9a6dd0d4b30ad7b5daa9
# Parent  efa2a83d548b618e6c7e6a970d1afcc24c1ab00b
updated to polyml-5.5.2;

diff -r efa2a83d548b -r b2c2f74d1c93 Admin/polyml/README
--- 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
diff -r efa2a83d548b -r b2c2f74d1c93 Admin/polyml/build
--- 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\""
     ;;
diff -r efa2a83d548b -r b2c2f74d1c93 Admin/polyml/settings
--- 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)