# HG changeset patch
# User wenzelm
# Date 1741861167 -3600
# Node ID cca7113dcafcd2cd471b394a9994d33bf5258b2d
# Parent  4b875a4c83b0696d326e598069b3b8dafcf511c8
Added tag Isabelle2025 for changeset 4b875a4c83b0

diff -r 4b875a4c83b0 -r cca7113dcafc .hgtags
--- a/.hgtags	Wed Mar 12 11:39:00 2025 +0100
+++ b/.hgtags	Thu Mar 13 11:19:27 2025 +0100
@@ -48,3 +48,4 @@
 5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
 52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
 ac7c09c6ff2f6886da114adfa7b1abd690c782ca Isabelle2025-RC4
+4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025