Added tag Isabelle2017-RC3 for changeset 4f73201b8043
authorwenzelm
Sat Sep 23 13:46:48 2017 +0200 (21 months ago)
changeset 66687cd8ad4eddb8a
parent 66686 4f73201b8043
child 66688 ebb97a834338
child 66785 6fbd7fc824a9
Added tag Isabelle2017-RC3 for changeset 4f73201b8043
.hgtags
     1.1 --- a/.hgtags	Sat Sep 23 13:31:32 2017 +0200
     1.2 +++ b/.hgtags	Sat Sep 23 13:46:48 2017 +0200
     1.3 @@ -36,3 +36,4 @@
     1.4  a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
     1.5  34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
     1.6  e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
     1.7 +4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3