| changeset 74652 | 72d2ef5ee128 |
| parent 74430 | 43d39f335cfc |
| child 74725 | ae7edb209706 |
--- 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