Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
authorwenzelm
Mon Dec 12 15:02:35 2016 +0100 (13 months ago)
changeset 64553dbef42baa925
parent 64552 7aa3c52f27aa
child 64554 5d2cef77373c
Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
.hgtags
     1.1 --- a/.hgtags	Mon Dec 12 11:17:23 2016 +0100
     1.2 +++ b/.hgtags	Mon Dec 12 15:02:35 2016 +0100
     1.3 @@ -38,3 +38,4 @@
     1.4  51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3
     1.5  49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4
     1.6  964ac7439a5227482fa0aeb8df61dc315b0c41a9 Isabelle2016-1-RC5
     1.7 +7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1