# HG changeset patch
# User wenzelm
# Date 1481558055 -3600
# Node ID 5d2cef77373c064ea204a15799e2e46be04eed3b
# Parent  dbef42baa925554e7e3ee70bb70944e2818c7c19
removed obsolete RC tags;

diff -r dbef42baa925 -r 5d2cef77373c .hgtags
--- 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