# HG changeset patch
# User wenzelm
# Date 1406316552 -7200
# Node ID e189ba8a64b984261cd75a8f4f1f224dc1b19eea
# Parent  66383b68d17292a368de3aed51d2f8547fdcb2ce
updated to polyml-5.5.2-1 which addresses two hard crashes;

diff -r 66383b68d172 -r e189ba8a64b9 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jul 25 20:55:57 2014 +0200
+++ b/Admin/components/components.sha1	Fri Jul 25 21:29:12 2014 +0200
@@ -67,6 +67,7 @@
 1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
 36f5b8224f484721749682a3655c796a55a2718d  polyml-5.5.1-1.tar.gz
 36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
+a588640dbf5da9ae15455b02ef709764a48637dc  polyml-5.5.2-1.tar.gz
 532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
diff -r 66383b68d172 -r e189ba8a64b9 Admin/components/main
--- a/Admin/components/main	Fri Jul 25 20:55:57 2014 +0200
+++ b/Admin/components/main	Fri Jul 25 21:29:12 2014 +0200
@@ -8,7 +8,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.2
+polyml-5.5.2-1
 scala-2.11.2
 spass-3.8ds
 z3-3.2-1
diff -r 66383b68d172 -r e189ba8a64b9 Admin/polyml/README
--- a/Admin/polyml/README	Fri Jul 25 20:55:57 2014 +0200
+++ b/Admin/polyml/README	Fri Jul 25 21:29:12 2014 +0200
@@ -1,10 +1,13 @@
 Poly/ML for Isabelle
 ====================
 
-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
+This compilation of Poly/ML 5.5.2 is based on
+http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
+1955.  See also fixes-5.5.2.diff for the differences to the official
+source distribution polyml.5.5.2.tar.gz from
 http://sourceforge.net/projects/polyml/.
 
+
 The included build script is used like this:
 
   ./build src x86-linux --with-gmp
@@ -17,5 +20,5 @@
 efficient digesting of strings according to SHA-1.
 
 
-	Makarius
-	14-May-2014
+        Makarius
+        25-Jul-2014