# HG changeset patch
# User wenzelm
# Date 1736177926 -3600
# Node ID bcb793b951c0d6d2501b2a120ecab37ac7e70d06
# Parent  fc26731980dc3664cc8cc702f9813be9b723cd22
proper NEWS section;

diff -r fc26731980dc -r bcb793b951c0 NEWS
--- a/NEWS	Mon Jan 06 16:35:59 2025 +0100
+++ b/NEWS	Mon Jan 06 16:38:46 2025 +0100
@@ -364,6 +364,11 @@
 vectors as well: only the individual content nodes are limited by the
 built-in string size.
 
+* Update to current Phorge (formerly Phabricator) on Ubuntu 22.04 and
+24.04; see also https://we.phorge.it/w/changelog/2024.35/. The Isabelle
+"system" manual now refers to the project as "Phorge", but "phabricator"
+remains for formal names (files, DNS etc.).
+
 
 
 New in Isabelle2024 (May 2024)
@@ -660,11 +665,6 @@
 
 * Update to .NET / Fsharp 8.0.x: the current long-term support version.
 
-* Update to current Phorge (formerly Phabricator) on Ubuntu 22.04 and
-24.04; see also https://we.phorge.it/w/changelog/2024.35/. 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.