Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109
authorwenzelm
Tue Aug 07 11:39:40 2018 +0200 (2 months ago)
changeset 687390c62e3b4f4c0
parent 68738 34b8ff7cb109
child 68740 682ff0e84387
child 68743 91162dd89571
Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109
.hgtags
     1.1 --- a/.hgtags	Mon Aug 06 15:43:36 2018 +0200
     1.2 +++ b/.hgtags	Tue Aug 07 11:39:40 2018 +0200
     1.3 @@ -38,3 +38,4 @@
     1.4  cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1
     1.5  14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2
     1.6  71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3
     1.7 +34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4