# HG changeset patch
# User wenzelm
# Date 1448297771 -3600
# Node ID d7e0315fe423a53ddf96589e07102e11d9784c4d
# Parent  b91b1ebfc8a08a9384be04a06234b55210ee07b5
updated to polyml-5.6-20151123;

diff -r b91b1ebfc8a0 -r d7e0315fe423 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Nov 23 16:57:01 2015 +0100
+++ b/Admin/components/components.sha1	Mon Nov 23 17:56:11 2015 +0100
@@ -104,6 +104,7 @@
 b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a  polyml-5.5.3-20150908.tar.gz
 b668e1f43a41608a8eb365c5e19db6c54c72748a  polyml-5.5.3-20150911.tar.gz
 1f5cd9b1390dab13861f90dfc06d4180cc107587  polyml-5.5.3-20150916.tar.gz
+03ba81e595fa6d6df069532d67ad3195c37d9046  polyml-5.6-20151123.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
diff -r b91b1ebfc8a0 -r d7e0315fe423 Admin/components/main
--- a/Admin/components/main	Mon Nov 23 16:57:01 2015 +0100
+++ b/Admin/components/main	Mon Nov 23 17:56:11 2015 +0100
@@ -10,7 +10,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.3-20150916
+polyml-5.6-20151123
 scala-2.11.7
 spass-3.8ds
 xz-java-1.2-1
diff -r b91b1ebfc8a0 -r d7e0315fe423 Admin/polyml/README
--- a/Admin/polyml/README	Mon Nov 23 16:57:01 2015 +0100
+++ b/Admin/polyml/README	Mon Nov 23 17:56:11 2015 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This is a preview of Poly/ML 5.5.3, based on
-https://github.com/polyml/polyml/
+This is a preview of Poly/ML 5.6, based on
+https://github.com/polyml/polyml/ commit b49eb17ab516.
 
 The included build script is used like this:
 
@@ -18,4 +18,4 @@
 
 
         Makarius
-        31-Aug-2015
+        23-Nov-2015
diff -r b91b1ebfc8a0 -r d7e0315fe423 Admin/polyml/settings
--- a/Admin/polyml/settings	Mon Nov 23 16:57:01 2015 +0100
+++ b/Admin/polyml/settings	Mon Nov 23 17:56:11 2015 +0100
@@ -41,7 +41,7 @@
 
       # ML settings
 
-      ML_SYSTEM=polyml-5.5.3
+      ML_SYSTEM=polyml-5.6
       ML_PLATFORM="$PLATFORM"
       ML_HOME="$POLYML_HOME/$ML_PLATFORM"
       ML_SOURCES="$POLYML_HOME/src"