Admin/polyml/README
changeset 61795 16901b0392c6
parent 61740 d7e0315fe423
child 61924 55b3d21ab5e5
--- a/Admin/polyml/README	Sun Dec 06 23:10:08 2015 +0100
+++ b/Admin/polyml/README	Sun Dec 06 23:17:48 2015 +0100
@@ -2,7 +2,7 @@
 ====================
 
 This is a preview of Poly/ML 5.6, based on
-https://github.com/polyml/polyml/ commit b49eb17ab516.
+https://github.com/polyml/polyml/ commit b97488071c19.
 
 The included build script is used like this: