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-RC1 for changeset ba3220909221
authorwenzelm
Mon, 03 Feb 2025 11:51:48 +0100
changeset 82062 73243fbfed5d
parent 82057 ba3220909221
child 82063 e13a1d3a39a9
Added tag Isabelle2025-RC1 for changeset ba3220909221
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Feb 03 10:46:57 2025 +0100
+++ b/.hgtags	Mon Feb 03 11:51:48 2025 +0100
@@ -44,3 +44,4 @@
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
+ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
isabelle