# HG changeset patch
# User wenzelm
# Date 1477674515 -7200
# Node ID cec5427b5c5f79199b9b5864f9bc31b48756bfa9
# Parent  9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9
Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7

diff -r 9ee2480d10b7 -r cec5427b5c5f .hgtags
--- a/.hgtags	Fri Oct 28 16:59:25 2016 +0200
+++ b/.hgtags	Fri Oct 28 19:08:35 2016 +0200
@@ -33,3 +33,4 @@
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0
+9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1