--- a/.hgtags Mon May 25 22:11:43 2015 +0200
+++ b/.hgtags Mon May 25 22:52:17 2015 +0200
@@ -29,10 +29,4 @@
9c1f2136532626c7cb5fae14a2aeac53be3aeb67 Isabelle2013-1
4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
-42d34eeb283c645de7792a327e86d846f9cfb5f9 Isabelle2015-RC0
-c9760373aa0f9a941d0e58d1432a823eaa14a0cc Isabelle2015-RC1
-8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
-e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
-05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
-d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5
5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015