| changeset 78512 | fd8e1bbc0686 |
| parent 78470 | 67bf692cf1ab |
| child 78588 | d0053e582dd9 |
--- a/.hgtags Thu Aug 10 20:39:28 2023 +0200 +++ b/.hgtags Thu Aug 10 20:42:18 2023 +0200 @@ -43,3 +43,4 @@ f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0 006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1 53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2 +f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3