# HG changeset patch
# User wenzelm
# Date 1455721030 -3600
# Node ID ec44535f954a5d6ec9e20a9e63e37b7db9dc9a26
# Parent  d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4
Added tag Isabelle2016 for changeset d3996d5873dd

diff -r d3996d5873dd -r ec44535f954a .hgtags
--- a/.hgtags	Mon Feb 15 14:55:44 2016 +0100
+++ b/.hgtags	Wed Feb 17 15:57:10 2016 +0100
@@ -36,3 +36,4 @@
 81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
 f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
 45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5
+d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016