# HG changeset patch
# User wenzelm
# Date 1454243121 -3600
# Node ID 6a87f7b15b6921c55a6e71ad31226224fe25d0fb
# Parent  460273b88e649b8c86875b3ab417d436855ad3be
updated to official polyml-5.6;

diff -r 460273b88e64 -r 6a87f7b15b69 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 29 23:08:46 2016 +0100
+++ b/Admin/components/components.sha1	Sun Jan 31 13:25:21 2016 +0100
@@ -116,6 +116,7 @@
 822f489c18e38ce5ef979ec21dccce4473e09be6  polyml-5.6-20151206.tar.gz
 bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
 5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
+5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.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 460273b88e64 -r 6a87f7b15b69 Admin/components/main
--- a/Admin/components/main	Fri Jan 29 23:08:46 2016 +0100
+++ b/Admin/components/main	Sun Jan 31 13:25:21 2016 +0100
@@ -10,7 +10,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.6-20160118
+polyml-5.6
 scala-2.11.7
 spass-3.8ds
 xz-java-1.2-1
diff -r 460273b88e64 -r 6a87f7b15b69 Admin/polyml/README
--- a/Admin/polyml/README	Fri Jan 29 23:08:46 2016 +0100
+++ b/Admin/polyml/README	Sun Jan 31 13:25:21 2016 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This is a preview of Poly/ML 5.6, based on
-https://github.com/polyml/polyml/ commit 72a1c60e3d00.
+This compilation of Poly/ML 5.6 (http://www.polyml.org) is based on the source
+distribution from https://github.com/polyml/polyml/releases/tag/v5.6/.
 
 The included build script is used like this:
 
@@ -14,8 +14,8 @@
   ./build src x86_64-windows --with-gmp
 
 Also note that the separate "sha1" library module is required for
-efficient digesting of strings according to SHA-1.
+efficient digestion of strings according to SHA-1.
 
 
         Makarius
-        18-Jan-2016
+        31-Jan-2016