diff --git a/.hgtags b/.hgtags
--- a/.hgtags
+++ b/.hgtags
@@ -1,42 +1,43 @@
 0140ff702b232f48cb4c7414dca663e41acad213 Isabelle94-3
 0a604b2fc2b1df524a3cf81f5a7b2255b19fda92 Isabelle99
 0b268cff9344268b18ab5241b5c45e3374f107cd Isabelle94-8
 213dcc39358faefae737f8e7d2eea67658e9eedf Isabelle2003
 23ceb1dc9755a8ad6f0230697d0cc52f54102bf4 Isabelle94-5
 2cf13a72e1704d0094d21e7dc68e7271a282ed31 Isabelle2008
 33b9b5da3e6faee6ca6969d17e79634d49e5b46a Isabelle94-1
 3e47692e3a3e4c695f6345b3534ed0c36817fd40 Isabelle99-2
 50be659d4222b68f95e9c966097e59091f26acf3 Isabelle99-1
 67692db44c7099ad8789f088003213aeb095e914 Isabelle94-2
 6a422b22ba02f6275fa3ac5f9df1428705552d50 Isabelle98-1
 6f79698f294df13edfba9c790df18a545570c81e Isabelle2007
 7d6b0241afabbf87d4d94a412a1c1ebbba71c088 Isabelle94-4
 805fa01ac2337790fd555991f1231d3ef6b2e3fb Isabelle2004_0
 831a9a7ab9f352c65b0f449630b428304c89362b Isabelle93
 836950047d8508e3c200edc1e07a46c2c5e09cd7 Isabelle94-6
 8d42a7bccf0b0880dff8e46c71c4811be8b2e7ec Isabelle94-7
 be6b5edbca9ffeb3bace5f4bac5c6478bf8cbdb2 Isabelle98
 ce180e5b7fa056003791fff19cc5cefba193b135 Isabelle2002
 f9eb0f819642b2ad77119dbf8935bf13248f205d Isabelle94
 fc385ce6187d5ad2cef90f1e6240cc691e02d827 Isabelle2005
 5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009
 6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
 35815ce9218a8822a50f5d80b96aa8d1970ec35d Isabelle2009-2
 6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
 21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012
 20126dd9772c973118879a6878acfd9e6c66f1e7 build_history_base
 d90218288d517942cfbc80a6b2654ecb22735e5c Isabelle2013
 9c1f2136532626c7cb5fae14a2aeac53be3aeb67 Isabelle2013-1
 4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 fedc0b659881c3768f7209f64d9d0213aac0941d Isabelle2021-1-RC0
 81cc8f2ea9e720a68f0ba96e2b8d8e98a5ff3152 Isabelle2021-1-RC1
+b92b5a57521b27cf592b835caa8e8d73e05070d2 Isabelle2021-1-RC2