ANNOUNCE
changeset 73232 030b930d1ac8
parent 73157 51c53a7c6473
child 74651 81cc8f2ea9e7
--- 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: