Added tag Isabelle2019 for changeset 83774d669b51
authorwenzelm
Sun Jun 09 20:24:16 2019 +0200 (6 weeks ago)
changeset 70328400238fad6c2
parent 70299 83774d669b51
child 70329 8dce5eed5993
Added tag Isabelle2019 for changeset 83774d669b51
.hgtags
     1.1 --- a/.hgtags	Sat Jun 01 11:29:59 2019 +0200
     1.2 +++ b/.hgtags	Sun Jun 09 20:24:16 2019 +0200
     1.3 @@ -40,3 +40,4 @@
     1.4  805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
     1.5  85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
     1.6  ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4
     1.7 +83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019