# HG changeset patch
# User wenzelm
# Date 1637841261 -3600
# Node ID ace8be1881e101d796bbc2b13893f9502b07002d
# Parent  29672359a371fd0561ba42856ca3d9c789aedb94
NEWS for proper release;

diff -r 29672359a371 -r ace8be1881e1 NEWS
--- a/NEWS	Thu Nov 25 12:48:00 2021 +0100
+++ b/NEWS	Thu Nov 25 12:54:21 2021 +0100
@@ -515,6 +515,9 @@
 
 *** System ***
 
+* Almost complete support for arm64-linux platform. The reference
+platform is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
+
 * Update to OpenJDK 17: the current long-term support version of Java.
 
 * Update to Poly/ML 5.9 with improved support for ARM on Linux. On
@@ -956,8 +959,8 @@
 /usr/local/bin/isabelle-phabricator-upgrade and each installation root
 directory (e.g. /var/www/phabricator-vcs/libphutil).
 
-* Almost complete support for arm64-linux platform. The reference
-platform is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
+* Experimental support for arm64-linux platform. The reference platform
+is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
 
 * Support for Apple Silicon, using mostly x86_64-darwin runtime
 translation via Rosetta 2 (e.g. Poly/ML and external provers), but also