# HG changeset patch
# User paulson
# Date 1502817290 -3600
# Node ID bc76686f85a3390448112e7ffa65e06a1e46a017
# Parent  ad1e8ad9a3aec75a4ba70bff1952ff58bb2f26e1# Parent  b868bb15edbe4d60a37579656c82a6329ef0b54a
merged

diff -r b868bb15edbe -r bc76686f85a3 .hgtags
--- a/.hgtags	Tue Aug 15 18:14:33 2017 +0100
+++ b/.hgtags	Tue Aug 15 18:14:50 2017 +0100
@@ -33,3 +33,4 @@
 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
+a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0