--- a/Admin/polyml/README Sat Oct 31 21:24:40 2020 +0000
+++ b/Admin/polyml/README Sun Nov 01 14:04:52 2020 +0100
@@ -3,7 +3,7 @@
This compilation of Poly/ML (http://www.polyml.org) is based on the
repository version
-https://github.com/polyml/polyml/commit/d68c6736402e
+https://github.com/polyml/polyml/commit/cf46747fee61
The Isabelle repository provides an administrative tool "isabelle
build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
Makarius
- 14-Oct-2020
+ 01-Nov-2020