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-RC5 for changeset ffa417b5c913
authorwenzelm
Sun, 03 Sep 2023 18:09:00 +0200
changeset 78642 4f2215cfc3e0
parent 78641 ffa417b5c913
child 78643 d5a1d64a563d
child 78657 0aa741c67086
Added tag Isabelle2023-RC5 for changeset ffa417b5c913
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun Sep 03 16:56:43 2023 +0200
+++ b/.hgtags	Sun Sep 03 18:09:00 2023 +0200
@@ -45,3 +45,4 @@
 53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2
 f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
 12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
+ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5
isabelle