--- a/.hgtags Mon Dec 12 15:02:35 2016 +0100
+++ b/.hgtags Mon Dec 12 16:54:15 2016 +0100
@@ -32,10 +32,4 @@
8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
-666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0
-9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1
-2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2
-51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3
-49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4
-964ac7439a5227482fa0aeb8df61dc315b0c41a9 Isabelle2016-1-RC5
7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1