# HG changeset patch
# User wenzelm
# Date 1504443584 -7200
# Node ID 13a1081961d22ce2d7a62f1dfb4504631eaa963a
# Parent  34b20f7236ea2b59c1994ee10770267bb156c9e5
Added tag Isabelle2017-RC1 for changeset 34b20f7236ea

diff -r 34b20f7236ea -r 13a1081961d2 .hgtags
--- a/.hgtags	Sat Sep 02 17:25:10 2017 +0200
+++ b/.hgtags	Sun Sep 03 14:59:44 2017 +0200
@@ -34,3 +34,4 @@
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
+34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1