--- a/Admin/polyml/README Thu Nov 19 15:11:37 2020 +0100
+++ b/Admin/polyml/README Thu Nov 19 17:46:58 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/cf46747fee61
+https://github.com/polyml/polyml/commit/f86ae3dc1686
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
- 01-Nov-2020
+ 19-Nov-2020