Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
authorwenzelm
Sat May 25 14:13:46 2019 +0200 (3 months ago)
changeset 702900cfc4fa71d1b
parent 70289 85de4fdec61b
child 70291 9f3441164e92
Added tag Isabelle2019-RC3 for changeset 85de4fdec61b
.hgtags
     1.1 --- a/.hgtags	Fri May 24 21:14:02 2019 +0200
     1.2 +++ b/.hgtags	Sat May 25 14:13:46 2019 +0200
     1.3 @@ -38,3 +38,4 @@
     1.4  6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
     1.5  9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
     1.6  805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
     1.7 +85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3