# HG changeset patch
# User wenzelm
# Date 1612727084 -3600
# Node ID 030b930d1ac83e7d45cf3917849222c64d47dfd5
# Parent  0659fc0ed8774e49f84cf3948dce31c5f1d6f927
updated for release;

diff -r 0659fc0ed877 -r 030b930d1ac8 ANNOUNCE
--- a/ANNOUNCE	Sun Feb 07 20:43:47 2021 +0100
+++ b/ANNOUNCE	Sun Feb 07 20:44:44 2021 +0100
@@ -28,7 +28,7 @@
 
 * System: support for Isabelle/Scala services defined in user-space.
 
-* Partial support for ARM64 platform on Linux and macOS (Apple Silicon).
+* Support for macOS Big Sur on Intel and Apple Silicon (ARM).
 
 
 You may get Isabelle2021 from the following mirror sites:
diff -r 0659fc0ed877 -r 030b930d1ac8 NEWS
--- a/NEWS	Sun Feb 07 20:43:47 2021 +0100
+++ b/NEWS	Sun Feb 07 20:44:44 2021 +0100
@@ -376,9 +376,9 @@
 * 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).
+* Support for Apple Silicon, using mostly x86_64-darwin runtime
+translation via Rosetta 2 (e.g. Poly/ML and external provers), but also
+some native arm64-darwin executables (e.g. Java).