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