# HG changeset patch # User wenzelm # Date 1533634780 -7200 # Node ID 0c62e3b4f4c03898141091181c7130a7e458db8e # Parent 34b8ff7cb10962428de2cbd61a3e0fc705455dac Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109 diff -r 34b8ff7cb109 -r 0c62e3b4f4c0 .hgtags --- a/.hgtags Mon Aug 06 15:43:36 2018 +0200 +++ b/.hgtags Tue Aug 07 11:39:40 2018 +0200 @@ -38,3 +38,4 @@ cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1 14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2 71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3 +34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4