# HG changeset patch
# User wenzelm
# Date 1736260091 -3600
# Node ID c265b3d6d06e2cd7d02f80739201c98acc5005b0
# Parent  bcb793b951c0d6d2501b2a120ecab37ac7e70d06
Added tag Isabelle2025-RC0 for changeset bcb793b951c0

diff -r bcb793b951c0 -r c265b3d6d06e .hgtags
--- a/.hgtags	Mon Jan 06 16:38:46 2025 +0100
+++ b/.hgtags	Tue Jan 07 15:28:11 2025 +0100
@@ -43,3 +43,4 @@
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
+bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0