# HG changeset patch
# User wenzelm
# Date 1709465302 -3600
# Node ID 444e409e6c6feead8c6715a70d4c8e11e33d57b8
# Parent  3066125a7f5192601003d1b5330c774e1197ebc1
official support for arm64-linux, despite a few missing tools;

diff -r 3066125a7f51 -r 444e409e6c6f Admin/components/PLATFORMS
--- 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
 --------------------------------------
diff -r 3066125a7f51 -r 444e409e6c6f NEWS
--- 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