NEWS;

--- a/NEWS	Mon Oct 26 21:02:51 2020 +0100
+++ b/NEWS	Mon Oct 26 21:35:39 2020 +0100
@@ -240,6 +240,9 @@
 /usr/local/bin/isabelle-phabricator-upgrade and each installation root
 directory (e.g. /var/www/phabricator-vcs/libphutil).
 
+* Experimental support for arm64-linux platform. The reference platform
+is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
+
 
 
 New in Isabelle2020 (April 2020)