author | wenzelm |
Mon, 08 Aug 2022 20:27:54 +0200 | |
changeset 75798 | 8b0dbfbde032 |
parent 75797 | b42e20adaeed |
child 75799 | f1141438b4db |
child 75801 | 5c1856aaf03d |
--- a/.hgtags Mon Aug 08 20:01:18 2022 +0200 +++ b/.hgtags Mon Aug 08 20:27:54 2022 +0200 @@ -39,3 +39,4 @@ abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021 c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1 +b42e20adaeed48e1e926839f236643e6094d70a7 Isabelle2022-RC0