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-RC3 for changeset f5fb5bb2533f
authorwenzelm
Thu, 10 Aug 2023 20:42:18 +0200
changeset 78512 fd8e1bbc0686
parent 78511 f5fb5bb2533f
child 78513 f467ff4aa8f9
child 78525 f5d7ed37f06a
Added tag Isabelle2023-RC3 for changeset f5fb5bb2533f
.hgtags file | annotate | diff | comparison | revisions 
--- 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
isabelle