--- a/Admin/components/components.sha1 Mon Jan 18 16:03:18 2016 +0100
+++ b/Admin/components/components.sha1 Mon Jan 18 16:03:58 2016 +0100
@@ -114,6 +114,7 @@
03ba81e595fa6d6df069532d67ad3195c37d9046 polyml-5.6-20151123.tar.gz
822f489c18e38ce5ef979ec21dccce4473e09be6 polyml-5.6-20151206.tar.gz
bd6a448f0e0d5787747f4f30ca661f9c1868e4a7 polyml-5.6-20151223.tar.gz
+5b70c12c95a90d858f90c1945011289944ea8e17 polyml-5.6-20160118.tar.gz
8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz
8e0b2b432755ef11d964e20637d1bc567d1c0477 ProofGeneral-4.2-1.tar.gz
--- a/Admin/components/main Mon Jan 18 16:03:18 2016 +0100
+++ b/Admin/components/main Mon Jan 18 16:03:58 2016 +0100
@@ -10,7 +10,7 @@
jfreechart-1.0.14-1
jortho-1.0-2
kodkodi-1.5.2
-polyml-5.6-20151223
+polyml-5.6-20160118
scala-2.11.7
spass-3.8ds
xz-java-1.2-1
--- a/Admin/polyml/README Mon Jan 18 16:03:18 2016 +0100
+++ b/Admin/polyml/README Mon Jan 18 16:03:58 2016 +0100
@@ -2,7 +2,7 @@
====================
This is a preview of Poly/ML 5.6, based on
-https://github.com/polyml/polyml/ commit 74a14cce7b20.
+https://github.com/polyml/polyml/ commit 72a1c60e3d00.
The included build script is used like this:
@@ -18,4 +18,4 @@
Makarius
- 23-Dec-2015
+ 18-Jan-2016