--- 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
--- 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
--- 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