--- a/Admin/polyml/README Wed Mar 06 13:17:17 2019 +0100
+++ b/Admin/polyml/README Wed Mar 06 19:29:46 2019 +0100
@@ -3,7 +3,7 @@
This compilation of Poly/ML (https://www.polyml.org) is based on the
repository version
-https://github.com/polyml/polyml/commit/c3a630fcc6a6 (master).
+https://github.com/polyml/polyml/commit/fef9f8681c2f (master).
The Isabelle repository provides the administrative tool
"build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
Makarius
- 20-Feb-2019
+ 06-Mar-2019