--- a/Admin/polyml/README Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/README Mon Nov 27 15:10:50 2017 +0100
@@ -1,8 +1,8 @@
Poly/ML for Isabelle
====================
-This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
-source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
+This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
+source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
The Isabelle repository provides the administrative tool "build_polyml",
which can be used in the polyml component directory as follows.
@@ -24,4 +24,4 @@
Makarius
- 12-May-2017
+ 27-Nov-2017