# HG changeset patch
# User wenzelm
# Date 1613838536 -3600
# Node ID 3acd62a22c1eb7c26ea8bcf04f68177ecbb7dc2c
# Parent  fdc76c10bb61cbe2cd4777d10980839312e9b266
removed obsolete RC tags;

diff -r fdc76c10bb61 -r 3acd62a22c1e .hgtags
--- a/.hgtags	Sat Feb 20 17:21:48 2021 +0100
+++ b/.hgtags	Sat Feb 20 17:28:56 2021 +0100
@@ -37,11 +37,4 @@
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020
-21ff9c1a464494b3a61c3538650664cc1b42c0cb Isabelle2021-RC0
-d4b67dc6f4ebd5f0fbd4ed1cccd0cc32c344d122 Isabelle2021-RC1
-802647edfe7be4478ca47a6e54e4d73733347e02 Isabelle2021-RC2
-02422c9add5e1c608290e48f3f0815c93ab00c1d Isabelle2021-RC3
-2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
-a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
-ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021