# HG changeset patch
# User wenzelm
# Date 1694453469 -7200
# Node ID 0d2ea608d2234bb3a2b061bdf9faaa78682c54e1
# Parent  b5f3d1051b131a80b1e4560cc05e5a3d223bc64f
Added tag Isabelle2023 for changeset b5f3d1051b13

diff -r b5f3d1051b13 -r 0d2ea608d223 .hgtags
--- a/.hgtags	Mon Sep 11 19:30:48 2023 +0200
+++ b/.hgtags	Mon Sep 11 19:31:09 2023 +0200
@@ -46,3 +46,4 @@
 f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
 12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
 ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5
+b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023