# HG changeset patch
# User wenzelm
# Date 1635779223 -3600
# Node ID 72d2ef5ee1285d4fd4080e23918acab2cd622f6d
# Parent  81cc8f2ea9e720a68f0ba96e2b8d8e98a5ff3152
Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7

diff -r 81cc8f2ea9e7 -r 72d2ef5ee128 .hgtags
--- a/.hgtags	Mon Nov 01 15:49:03 2021 +0100
+++ b/.hgtags	Mon Nov 01 16:07:03 2021 +0100
@@ -39,3 +39,4 @@
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 fedc0b659881c3768f7209f64d9d0213aac0941d Isabelle2021-1-RC0
+81cc8f2ea9e720a68f0ba96e2b8d8e98a5ff3152 Isabelle2021-1-RC1