Added tag Isabelle2019-RC4 for changeset ad2d84c42380 Isabelle2019
authorwenzelm
Sat Jun 01 11:29:59 2019 +0200 (7 weeks ago)
changeset 7029983774d669b51
parent 70298 ad2d84c42380
child 70300 22c7eee0dd56
child 70328 400238fad6c2
Added tag Isabelle2019-RC4 for changeset ad2d84c42380
.hgtags
     1.1 --- a/.hgtags	Sat Jun 01 11:27:19 2019 +0200
     1.2 +++ b/.hgtags	Sat Jun 01 11:29:59 2019 +0200
     1.3 @@ -39,3 +39,4 @@
     1.4  9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
     1.5  805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
     1.6  85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
     1.7 +ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4