# HG changeset patch
# User wenzelm
# Date 1451663464 -3600
# Node ID 2b46a93e829cc6c2fe169c2a6b5ab5f7db00fb8d
# Parent  e18444532fce734c2508ccffd84a4b9f166901e3
Added tag Isabelle2016-RC0 for changeset e18444532fce

diff -r e18444532fce -r 2b46a93e829c .hgtags
--- a/.hgtags	Fri Jan 01 16:50:04 2016 +0100
+++ b/.hgtags	Fri Jan 01 16:51:04 2016 +0100
@@ -30,3 +30,4 @@
 4dd08fe126bad63aa05741d55fb3e86a2dbfc795 Isabelle2013-2
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
+e18444532fce734c2508ccffd84a4b9f166901e3 Isabelle2016-RC0