# 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