# HG changeset patch
# User wenzelm
# Date 1429296827 -7200
# Node ID 9c65c0f03c3a709bfa1ac4dcf7488971d7d24379
# Parent  c9760373aa0f9a941d0e58d1432a823eaa14a0cc
Added tag Isabelle2015-RC1 for changeset c9760373aa0f

diff -r c9760373aa0f -r 9c65c0f03c3a .hgtags
--- a/.hgtags	Fri Apr 17 20:53:15 2015 +0200
+++ b/.hgtags	Fri Apr 17 20:53:47 2015 +0200
@@ -30,3 +30,4 @@
 4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 42d34eeb283c645de7792a327e86d846f9cfb5f9 Isabelle2015-RC0
+c9760373aa0f9a941d0e58d1432a823eaa14a0cc Isabelle2015-RC1