--- a/Admin/polyml/README Fri Nov 26 13:07:15 2021 +0100
+++ b/Admin/polyml/README Fri Nov 26 13:36:45 2021 +0100
@@ -3,8 +3,8 @@
This compilation of Poly/ML (https://www.polyml.org) is based on the
source distribution from
-https://github.com/polyml/polyml/commit/610a153b941d (shortly before
-official version 5.9).
+https://github.com/polyml/polyml/commit/39d96a2def90 (official release
+5.9 with minimal additions fixes-5.9).
The Isabelle repository provides an administrative tool "isabelle
build_polyml", which can be used in the polyml component directory as
@@ -55,4 +55,4 @@
Makarius
- 14-Nov-2021
+ 26-Nov-2021