Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
authorwenzelm
Fri Feb 12 17:04:36 2016 +0100 (23 months ago)
changeset 62283f005a691df1f
parent 62282 45adb8dc84e1
child 62284 1fd4831e9f93
child 62337 d3996d5873dd
Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
.hgtags
     1.1 --- a/.hgtags	Thu Feb 11 22:05:12 2016 +0100
     1.2 +++ b/.hgtags	Fri Feb 12 17:04:36 2016 +0100
     1.3 @@ -35,3 +35,4 @@
     1.4  5d513565749e6818ce3bbd1b40739ddc314e17a5 Isabelle2016-RC2
     1.5  81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
     1.6  f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
     1.7 +45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5