--- a/Admin/components/PLATFORMS Sun Mar 03 12:21:10 2024 +0100
+++ b/Admin/components/PLATFORMS Sun Mar 03 12:28:22 2024 +0100
@@ -34,6 +34,7 @@
Official platforms:
x86_64-linux Ubuntu 18.04 LTS
+ arm64-linux Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:18.04 bash")
x86_64-darwin macOS 11 Big Sur (mini1 Macmini8,1)
macOS 12 Monterey (???)
@@ -48,10 +49,6 @@
x86_64-windows Windows 10
x86_64-cygwin Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)
-Experimental platforms:
-
- arm64-linux Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:18.04 bash")
-
64 bit vs. 32 bit platform personality
--------------------------------------
--- a/NEWS Sun Mar 03 12:21:10 2024 +0100
+++ b/NEWS Sun Mar 03 12:28:22 2024 +0100
@@ -7,6 +7,16 @@
New in this Isabelle version
----------------------------
+*** General ***
+
+* The arm64-linux platform is now officially supported, although a few
+(non-essential) tools are missing:
+
+ - Z3
+ - CVC4
+ - OCaml / OPAM
+ - Nunchaku + smbc (experimental)
+
*** Document preparation ***
* The bundled LaTeX LNCS style has been updated to version 2.23