NEWS

--- a/NEWS	Sat Feb 01 20:05:06 2025 +0100
+++ b/NEWS	Sat Feb 01 22:13:49 2025 +0100
@@ -191,6 +191,12 @@
 
 * Update to jEdit 5.7.0, the latest release.
 
+* Update to FlatLaf 3.5.4, the latest release. 2.6 was the last portable
+version, but 3.x requires a Java jar together with a native library. The
+latter is missing for arm64-linux, so old 2.6 is used on that platform:
+this may lead to minor differences in GUI appearance and behaviour.
+
+
 
 *** Isabelle/VSCode Prover IDE ***