Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
authorwenzelm
Wed, 26 Jul 2023 20:28:35 +0200
changeset 78470 67bf692cf1ab
parent 78469 53b59fa42696
child 78472 2e58b5a3fecf
child 78474 cc1058b83124
Added tag Isabelle2023-RC2 for changeset 53b59fa42696
.hgtags file | annotate | diff | comparison | revisions 
--- 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
isabelle