# HG changeset patch
# User wenzelm
# Date 1691692938 -7200
# Node ID fd8e1bbc0686d0b7f34ef8c6c7d5c92a0867f713
# Parent  f5fb5bb2533fdf96b136a2aa508e30d4608fd888
Added tag Isabelle2023-RC3 for changeset f5fb5bb2533f

diff -r f5fb5bb2533f -r fd8e1bbc0686 .hgtags
--- a/.hgtags	Thu Aug 10 20:39:28 2023 +0200
+++ b/.hgtags	Thu Aug 10 20:42:18 2023 +0200
@@ -43,3 +43,4 @@
 f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0
 006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1
 53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2
+f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3