Added tag Isabelle2016 for changeset d3996d5873dd
authorwenzelm
Wed Feb 17 15:57:10 2016 +0100 (23 months ago)
changeset 62338ec44535f954a
parent 62337 d3996d5873dd
child 62339 a105bea3936f
Added tag Isabelle2016 for changeset d3996d5873dd
.hgtags
     1.1 --- a/.hgtags	Mon Feb 15 14:55:44 2016 +0100
     1.2 +++ b/.hgtags	Wed Feb 17 15:57:10 2016 +0100
     1.3 @@ -36,3 +36,4 @@
     1.4  81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
     1.5  f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
     1.6  45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5
     1.7 +d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016