diff -r b91b1ebfc8a0 -r d7e0315fe423 Admin/polyml/README
--- a/Admin/polyml/README	Mon Nov 23 16:57:01 2015 +0100
+++ b/Admin/polyml/README	Mon Nov 23 17:56:11 2015 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This is a preview of Poly/ML 5.5.3, based on
-https://github.com/polyml/polyml/
+This is a preview of Poly/ML 5.6, based on
+https://github.com/polyml/polyml/ commit b49eb17ab516.
 
 The included build script is used like this:
 
@@ -18,4 +18,4 @@
 
 
         Makarius
-        31-Aug-2015
+        23-Nov-2015