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