author | wenzelm |
Sun, 09 Jun 2019 20:24:16 +0200 | |
changeset 70328 | 400238fad6c2 |
parent 70299 | 83774d669b51 |
child 70329 | 8dce5eed5993 |
--- a/.hgtags Sat Jun 01 11:29:59 2019 +0200 +++ b/.hgtags Sun Jun 09 20:24:16 2019 +0200 @@ -40,3 +40,4 @@ 805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2 85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3 ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4 +83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019