# HG changeset patch
# User wenzelm
# Date 1762368073 -3600
# Node ID e8f4f3f1d09ad70802e5e661c6b29a6de8b9d8ae
# Parent  b5dc7f577e02c756f906002ca0af7389d9417b66# Parent  d349fb17f699506a630f169a4e14e58fcefedd6e
merged

diff -r b5dc7f577e02 -r e8f4f3f1d09a .hgtags
--- a/.hgtags	Wed Nov 05 12:04:36 2025 +0000
+++ b/.hgtags	Wed Nov 05 19:41:13 2025 +0100
@@ -45,3 +45,4 @@
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
 3deead057a16df29f26cfdf0a893829f6b354cb9 Isabelle2025-1-RC0
+b596dead917873ab1cd875efd0ad97dbc1549a9f Isabelle2025-1-RC1