# HG changeset patch
# User wenzelm
# Date 1738581582 -3600
# Node ID e13a1d3a39a9386ca8d770bcf16803c41ba5f596
# Parent  73243fbfed5d3c730697e48eecd04203bb22ce29
update for release;

diff -r 73243fbfed5d -r e13a1d3a39a9 ANNOUNCE
--- a/ANNOUNCE	Mon Feb 03 11:51:48 2025 +0100
+++ b/ANNOUNCE	Mon Feb 03 12:19:42 2025 +0100
@@ -1,4 +1,4 @@
-Subject: Announcing Isabelle2024
+Subject: Announcing Isabelle2025
 To: isabelle-users@cl.cam.ac.uk
 
 Isabelle2025 is now available.