# HG changeset patch
# User wenzelm
# Date 1475825351 -7200
# Node ID 21b83e8121aa22e6ca2187d33b4b88921328b298
# Parent  800174511cc32af14874ca0ced867fe1b05e3ef7# Parent  a480dd2fcfd82d2826ad1c60bc3f943252cbe764
merged

diff -r 800174511cc3 -r 21b83e8121aa .hgtags
--- a/.hgtags	Thu Oct 06 17:17:34 2016 +0200
+++ b/.hgtags	Fri Oct 07 09:29:11 2016 +0200
@@ -32,3 +32,4 @@
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
+666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0