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 for changeset b5f3d1051b13
authorwenzelm
Mon, 11 Sep 2023 19:31:09 +0200
changeset 78660 0d2ea608d223
parent 78659 b5f3d1051b13
child 78661 5930c89d3bf2
Added tag Isabelle2023 for changeset b5f3d1051b13
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Sep 11 19:30:48 2023 +0200
+++ b/.hgtags	Mon Sep 11 19:31:09 2023 +0200
@@ -46,3 +46,4 @@
 f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
 12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
 ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5
+b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
isabelle