# HG changeset patch
# User wenzelm
# Date 1739181119 -3600
# Node ID 0661b8a8c23fffc592b1dc9bfdcdf1ed6518776f
# Parent  5888f0bec9718859a47c31da538bdef59c3f38b7
Added tag Isabelle2025-RC2 for changeset 5888f0bec971

diff -r 5888f0bec971 -r 0661b8a8c23f .hgtags
--- a/.hgtags	Sun Feb 09 17:17:36 2025 +0100
+++ b/.hgtags	Mon Feb 10 10:51:59 2025 +0100
@@ -45,3 +45,4 @@
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
 ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
+5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2