# HG changeset patch
# User wenzelm
# Date 1431896943 -7200
# Node ID 1fb026be7536831cb39dd175e60a2c68a6712c54
# Parent  d7f636331176ed8baa0c6f40d9fbb18838829156
Added tag Isabelle2015-RC5 for changeset d7f636331176

diff -r d7f636331176 -r 1fb026be7536 .hgtags
--- a/.hgtags	Sun May 17 23:03:49 2015 +0200
+++ b/.hgtags	Sun May 17 23:09:03 2015 +0200
@@ -34,3 +34,4 @@
 8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
 e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
 05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
+d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5