--- a/NEWS Sat Jan 04 17:38:45 2025 +0100
+++ b/NEWS Sat Jan 04 21:38:13 2025 +0100
@@ -660,6 +660,11 @@
* Update to .NET / Fsharp 8.0.x: the current long-term support version.
+* Update to current Phorge 2024 week 35 (formerly Phabricator), with
+support for Ubuntu 20.4 and 22.04. The Isabelle "system" manual now
+refers to the project as "Phorge", but "phabricator" remains for formal
+names (files, DNS etc.).
+
* Update to official Poly/ML 5.9.1.
* Update to OpenJDK 21: the current long-term support version of Java.