Added tag Isabelle2019-RC2 for changeset 805250bb7363
authorwenzelm
Sat May 11 15:53:11 2019 +0200 (9 days ago)
changeset 70264ad0306b89cfb
parent 70263 805250bb7363
child 70265 a8238fd25541
Added tag Isabelle2019-RC2 for changeset 805250bb7363
.hgtags
     1.1 --- a/.hgtags	Sat May 11 15:40:08 2019 +0200
     1.2 +++ b/.hgtags	Sat May 11 15:53:11 2019 +0200
     1.3 @@ -37,3 +37,4 @@
     1.4  91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
     1.5  6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
     1.6  9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
     1.7 +805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2