# HG changeset patch
# User wenzelm
# Date 1610996000 -3600
# Node ID 56107393f2efd8e4ebefca50b09135d231de5c32
# Parent  96d87b9c2b4222db19cac877067ab34f9ef946e7
more NEWS;

diff -r 96d87b9c2b42 -r 56107393f2ef NEWS
--- a/NEWS	Mon Jan 18 19:25:20 2021 +0100
+++ b/NEWS	Mon Jan 18 19:53:20 2021 +0100
@@ -359,6 +359,10 @@
 * Experimental support for arm64-linux platform. The reference platform
 is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
 
+* Partial support for arm64-darwin (Apple Silicon): most x86_64
+executables work well with runtime translation by Rosetta, but
+occasional problems remain (e.g. external provers).
+
 
 
 New in Isabelle2020 (April 2020)