diff -r 65b7d9ec05f5 -r 2006be3cb98b .hgtags
--- a/.hgtags	Wed Apr 15 14:31:21 2020 +0200
+++ b/.hgtags	Thu Apr 16 00:37:07 2020 +0200
@@ -36,10 +36,4 @@
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
-21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
-a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
-7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
-7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3
-1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4
-8ed68b2aeba19ea47f1e38038ac87a32c17161ce Isabelle2020-RC5
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020