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 for changeset 4b875a4c83b0
authorwenzelm
Thu, 13 Mar 2025 11:19:27 +0100
changeset 82266 cca7113dcafc
parent 82265 4b875a4c83b0
child 82267 2c90d28037d1
Added tag Isabelle2025 for changeset 4b875a4c83b0
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed Mar 12 11:39:00 2025 +0100
+++ b/.hgtags	Thu Mar 13 11:19:27 2025 +0100
@@ -48,3 +48,4 @@
 5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
 52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
 ac7c09c6ff2f6886da114adfa7b1abd690c782ca Isabelle2025-RC4
+4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
isabelle