# HG changeset patch # User wenzelm # Date 1534342523 -7200 # Node ID b0ed78ffa4d95e10c3bef5be268cb8276ab8b51f # Parent f221bc388ad019211212ec9b93d02f2248cb8d6a removed obsolete RC tags; diff -r f221bc388ad0 -r b0ed78ffa4d9 .hgtags --- a/.hgtags Wed Jul 11 09:43:48 2018 +0200 +++ b/.hgtags Wed Aug 15 16:15:23 2018 +0200 @@ -34,9 +34,4 @@ d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017 -194fa3d2d6a4d01f9f3cde59125c466c525216be Isabelle2018-RC0 -cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1 -14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2 -71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3 -34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018