changeset 78470 | 67bf692cf1ab |
parent 78313 | 7315ee1deaf3 |
child 78512 | fd8e1bbc0686 |
--- a/.hgtags Wed Jul 26 20:15:31 2023 +0200 +++ b/.hgtags Wed Jul 26 20:28:35 2023 +0200 @@ -42,3 +42,4 @@ 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022 f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0 006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1 +53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2