# HG changeset patch
# User wenzelm
# Date 1714657205 -7200
# Node ID 5e64a54f6790beb22ec061af7b88c3576adac542
# Parent  007e6af8a02082e82a6a642a3d5b1649628a50c2
Added tag Isabelle2024-RC3 for changeset 007e6af8a020

diff -r 007e6af8a020 -r 5e64a54f6790 .hgtags
--- a/.hgtags	Thu May 02 14:08:59 2024 +0200
+++ b/.hgtags	Thu May 02 15:40:05 2024 +0200
@@ -45,3 +45,4 @@
 98f009f56400c7317d26d96cf7d904cc984b1d46 Isabelle2024-RC0
 1231a7fb251017c2acec4bda2bb036d4f052542c Isabelle2024-RC1
 ef2134570abb6090fa65107661ec8c3f4ffc06e0 Isabelle2024-RC2
+007e6af8a02082e82a6a642a3d5b1649628a50c2 Isabelle2024-RC3