# HG changeset patch
# User wenzelm
# Date 1666689439 -7200
# Node ID 53b5b8883ff7d51a77597bb2609d0c0441070f7a
# Parent  1ac2416e843293bc6917ba965f54b42962514b7f
Added tag Isabelle2022 for changeset 1ac2416e8432

diff -r 1ac2416e8432 -r 53b5b8883ff7 .hgtags
--- a/.hgtags	Mon Oct 24 20:37:32 2022 +0200
+++ b/.hgtags	Tue Oct 25 11:17:19 2022 +0200
@@ -44,3 +44,4 @@
 778152d51e972d21bad5383afb4685efb793f574 Isabelle2022-RC2
 d704efeb01dbdc86029180cc0c5e0f8d9e699128 Isabelle2022-RC3
 8b4108f41c777d6465683cdffcabdeb6c4ba6b3d Isabelle2022-RC4
+1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022