--- a/Admin/polyml/README Sat Jul 28 16:50:55 2018 +0200
+++ b/Admin/polyml/README Sat Jul 28 17:25:40 2018 +0200
@@ -3,7 +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/commits/fixes-5.7.1
-commit 31643fd67f47.
+up to commit b3d1ff33a4b4.
The Isabelle repository provides the administrative tool "build_polyml",
which can be used in the polyml component directory as follows.
@@ -54,4 +54,4 @@
Makarius
- 22-Jul-2018
+ 28-Jul-2018