--- a/Admin/polyml/README Sun Nov 14 21:14:54 2021 +0100
+++ b/Admin/polyml/README Sun Nov 14 21:52:13 2021 +0100
@@ -3,7 +3,7 @@
This compilation of Poly/ML (https://www.polyml.org) is based on the
source distribution from
-https://github.com/polyml/polyml/commit/cc80e2b43c38 (shortly before
+https://github.com/polyml/polyml/commit/610a153b941d (shortly before
official version 5.9).
The Isabelle repository provides an administrative tool "isabelle
@@ -55,4 +55,4 @@
Makarius
- 12-Nov-2021
+ 14-Nov-2021