# HG changeset patch
# User wenzelm
# Date 1741004363 -3600
# Node ID e4e35ffe1ccd2808c3c03d1c05edee5c6b2cfe7b
# Parent  ac7c09c6ff2f6886da114adfa7b1abd690c782ca
Added tag Isabelle2025-RC4 for changeset ac7c09c6ff2f

diff -r ac7c09c6ff2f -r e4e35ffe1ccd .hgtags
--- a/.hgtags	Mon Mar 03 12:39:15 2025 +0100
+++ b/.hgtags	Mon Mar 03 13:19:23 2025 +0100
@@ -47,3 +47,4 @@
 ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
 5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
 52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
+ac7c09c6ff2f6886da114adfa7b1abd690c782ca Isabelle2025-RC4