Added tag Isabelle2017 for changeset 64b47495676d
authorwenzelm
Sun Oct 08 11:58:01 2017 +0200 (3 months ago)
changeset 667886b08228b02d5
parent 66787 64b47495676d
child 66789 feb36b73a7f0
Added tag Isabelle2017 for changeset 64b47495676d
.hgtags
     1.1 --- a/.hgtags	Wed Oct 04 12:00:53 2017 +0200
     1.2 +++ b/.hgtags	Sun Oct 08 11:58:01 2017 +0200
     1.3 @@ -37,3 +37,4 @@
     1.4  34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
     1.5  e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
     1.6  4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3
     1.7 +64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017