# HG changeset patch
# User wenzelm
# Date 1689096714 -7200
# Node ID 7315ee1deaf3eb7878a3b7ae4e49c45966eca9a1
# Parent  006dbc9c2de1d1c541a9d822b42c70fedf223e08
Added tag Isabelle2023-RC1 for changeset 006dbc9c2de1

diff -r 006dbc9c2de1 -r 7315ee1deaf3 .hgtags
--- a/.hgtags	Tue Jul 11 19:31:22 2023 +0200
+++ b/.hgtags	Tue Jul 11 19:31:54 2023 +0200
@@ -41,3 +41,4 @@
 c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
 f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0
+006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1