diff -r 793171d7800b -r b446004b2464 NEWS
--- a/NEWS	Sun Oct 09 16:28:28 2022 +0200
+++ b/NEWS	Wed Oct 12 11:15:36 2022 +0200
@@ -416,6 +416,11 @@
 together. Potential INCOMPATIBILITY for existing
 $ISABELLE_HOME_USER/etc/settings.
 
+* The system option "ML_system_apple" controls the use of native
+Apple/ARM64 for Poly/ML: default "true". Like "ML_system_64" this only
+works when saved in "$ISABELLE_HOME_USER/etc/preferences" (e.g. after
+shutdown of Isabelle/jEdit).
+
 
 
 New in Isabelle2021-1 (December 2021)