# HG changeset patch
# User wenzelm
# Date 1432587137 -7200
# Node ID 6dcb8aa0966aa421a10a76e222885086e4e0bf8b
# Parent  ff82ba1893c80c00396f7a2c3de645f9c70188f4
removed obsolete RC tags;

diff -r ff82ba1893c8 -r 6dcb8aa0966a .hgtags
--- 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