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-RC4 for changeset ac7c09c6ff2f
authorwenzelm
Mon, 03 Mar 2025 13:19:23 +0100
changeset 82230 e4e35ffe1ccd
parent 82229 ac7c09c6ff2f
child 82231 cbe937aa5e90
child 82256 f65ac4962b66
Added tag Isabelle2025-RC4 for changeset ac7c09c6ff2f
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Mar 03 12:39:15 2025 +0100
+++ b/.hgtags	Mon Mar 03 13:19:23 2025 +0100
@@ -47,3 +47,4 @@
 ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
 5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
 52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
+ac7c09c6ff2f6886da114adfa7b1abd690c782ca Isabelle2025-RC4
isabelle