diff -r 8f7f626aacaa -r b179891dd357 Admin/polyml/README
--- a/Admin/polyml/README	Sat Oct 30 11:59:41 2021 +0200
+++ b/Admin/polyml/README	Sat Oct 30 12:03:43 2021 +0200
@@ -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/commits/fixes-5.8.2 up to commit
-e6a463e1614f.
+https://github.com/polyml/polyml/commit/960de0cd0795 (shortly before
+official version 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
-        11-May-2021
+        21-Oct-2021