NEWS

--- a/NEWS	Sat Oct 14 20:48:12 2023 +0200
+++ b/NEWS	Sat Oct 14 20:50:25 2023 +0200
@@ -48,6 +48,11 @@
 3.3, instead of 3.1. This is the "-old-syntax" variant (Java-like) as
 before, not "-new-syntax" (Python-like). Minor INCOMPATIBILITY.
 
+* Update to official Poly/ML 5.9.1.
+
+* No longer support for very old versions of macOS and Linux: base-line
+is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.
+
 
 
 New in Isabelle2023 (September 2023)