NEWS

--- a/NEWS	Tue Oct 07 13:20:56 2025 +0200
+++ b/NEWS	Tue Oct 07 13:26:02 2025 +0200
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2025-1 (December 2025)
+-------------------------------------
 
 *** General ***