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: