# HG changeset patch
# User wenzelm
# Date 1429721013 -7200
# Node ID b8b7006a64ef81c03020e39cc2d37a4bb416eb29
# Parent  0043ad2a770fd3be988bf30f62af8de8852d11eb
updated polyml according to fixes-5.5.2 SVN version 2009;

diff -r 0043ad2a770f -r b8b7006a64ef Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Apr 20 18:30:05 2015 +0200
+++ b/Admin/components/components.sha1	Wed Apr 22 18:43:33 2015 +0200
@@ -86,6 +86,7 @@
 36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
 a588640dbf5da9ae15455b02ef709764a48637dc  polyml-5.5.2-1.tar.gz
 4b690390946f7bfb777b89eb16d6f08987cca12f  polyml-5.5.2-2.tar.gz
+5b31ad8556e41dfd6d5e85f407818be399aa3d2a  polyml-5.5.2-3.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 0043ad2a770f -r b8b7006a64ef Admin/components/main
--- a/Admin/components/main	Mon Apr 20 18:30:05 2015 +0200
+++ b/Admin/components/main	Wed Apr 22 18:43:33 2015 +0200
@@ -9,7 +9,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.2-2
+polyml-5.5.2-3
 scala-2.11.6
 spass-3.8ds
 xz-java-1.2-1
diff -r 0043ad2a770f -r b8b7006a64ef Admin/polyml/README
--- a/Admin/polyml/README	Mon Apr 20 18:30:05 2015 +0200
+++ b/Admin/polyml/README	Wed Apr 22 18:43:33 2015 +0200
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML 5.5.2 is based on
 http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
-2007.  See also fixes-5.5.2.diff for the differences to the official
+2009.  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/.
 
@@ -21,4 +21,4 @@
 
 
         Makarius
-        17-Apr-2015
+        22-Apr-2015