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 Isabelle2025-RC0 for changeset bcb793b951c0
authorwenzelm
Tue, 07 Jan 2025 15:28:11 +0100
changeset 81739 c265b3d6d06e
parent 81738 bcb793b951c0
child 81740 9f0cee195ee9
child 81744 9714d5b221e2
Added tag Isabelle2025-RC0 for changeset bcb793b951c0
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Jan 06 16:38:46 2025 +0100
+++ b/.hgtags	Tue Jan 07 15:28:11 2025 +0100
@@ -43,3 +43,4 @@
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
+bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
isabelle