# HG changeset patch
# User wenzelm
# Date 1697309425 -7200
# Node ID 0b9d7d35bcaa5b909cd20a430859578b2aa5280b
# Parent  d495e71707d454561a4076c1f1456b4a06005002
more NEWS;

diff -r d495e71707d4 -r 0b9d7d35bcaa 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)