# HG changeset patch
# User wenzelm
# Date 1635593193 -7200
# Node ID 4069afca81fd7dc297a7b069aa73e6ef8182b56e
# Parent  455549306166b80d14493a24ccf9268db1c3b094
tuned;

diff -r 455549306166 -r 4069afca81fd NEWS
--- a/NEWS	Sat Oct 30 13:12:22 2021 +0200
+++ b/NEWS	Sat Oct 30 13:26:33 2021 +0200
@@ -499,8 +499,10 @@
 
 *** System ***
 
-* Update to Poly/ML 5.9 with improved support for ARM on Linux. (On
-macOS the Intel version works smoothly with Rosetta 2, as before.)
+* Update to Poly/ML 5.9 with improved support for ARM on Linux. On
+macOS, the Intel version works more smoothly with Rosetta 2, as already
+used in Isabelle2021. Further changes to Poly/ML are documented here:
+http://lists.inf.ed.ac.uk/pipermail/polyml/2021-May/002451.html
 
 * Update to OpenJDK 17: the current long-term support version of Java.