--- a/Admin/polyml/README Sun Nov 07 10:07:09 2021 +0100
+++ b/Admin/polyml/README Sun Nov 07 15:46:46 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/960de0cd0795 (shortly before
+https://github.com/polyml/polyml/commit/5d4caa8f7148 (shortly before
official version 5.9).
The Isabelle repository provides an administrative tool "isabelle
@@ -55,4 +55,4 @@
Makarius
- 21-Oct-2021
+ 07-Nov-2021