Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495
authorwenzelm
Fri May 03 12:06:59 2019 +0200 (6 months ago)
changeset 70240c73c8fd4b64c
parent 70239 9c60fcfdf495
child 70241 4e612a13c1ee
Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495
.hgtags
     1.1 --- a/.hgtags	Fri May 03 11:50:32 2019 +0200
     1.2 +++ b/.hgtags	Fri May 03 12:06:59 2019 +0200
     1.3 @@ -36,3 +36,4 @@
     1.4  64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
     1.5  91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
     1.6  6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
     1.7 +9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1