Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
authorwenzelm
Sun Nov 27 15:21:06 2016 +0100 (2016-11-27)
changeset 64528a67edee6b1fa
parent 64527 49708cffb98d
child 64529 1c0b93961cb1
child 64535 4f161e8cdaac
Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
.hgtags
     1.1 --- a/.hgtags	Sun Nov 27 13:19:29 2016 +0100
     1.2 +++ b/.hgtags	Sun Nov 27 15:21:06 2016 +0100
     1.3 @@ -36,3 +36,4 @@
     1.4  9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1
     1.5  2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2
     1.6  51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3
     1.7 +49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4