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: