# HG changeset patch
# User wenzelm
# Date 1475768459 -7200
# Node ID a480dd2fcfd82d2826ad1c60bc3f943252cbe764
# Parent  666c7475f4f7e9ba46c59170026230787c504ca7
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7

diff -r 666c7475f4f7 -r a480dd2fcfd8 .hgtags
--- a/.hgtags	Thu Oct 06 14:13:46 2016 +0200
+++ b/.hgtags	Thu Oct 06 17:40:59 2016 +0200
@@ -32,3 +32,4 @@
 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
+666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0