# HG changeset patch
# User wenzelm
# Date 1736079857 -3600
# Node ID 27ba0fed207142c4ecbc9a9cb76d1da3b21e5ffb
# Parent  e620f6094b9e174539cdb4570918fda3dc6d22db
tuned NEWS;

diff -r e620f6094b9e -r 27ba0fed2071 NEWS
--- a/NEWS	Sun Jan 05 13:21:10 2025 +0100
+++ b/NEWS	Sun Jan 05 13:24:17 2025 +0100
@@ -656,10 +656,10 @@
 
 * 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 22.04 and 24.04. The Isabelle "system" manual now
-refers to the project as "Phorge", but "phabricator" remains for formal
-names (files, DNS etc.).
+* 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.