--- a/Admin/polyml/README Wed Jun 20 11:51:47 2018 +0200
+++ b/Admin/polyml/README Wed Jun 20 22:41:52 2018 +0200
@@ -3,6 +3,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
+with commit 86c52cbd8f6d from the "fixes-5.7.1" branch.
The Isabelle repository provides the administrative tool "build_polyml",
which can be used in the polyml component directory as follows.
@@ -53,4 +54,4 @@
Makarius
- 11-Feb-2018
+ 20-Jun-2018