--- 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:
--- 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).