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-RC3 for changeset 52290d6ab92d
authorwenzelm
Wed, 19 Feb 2025 11:16:19 +0100
changeset 82220 cee6d19109e0
parent 82197 52290d6ab92d
child 82221 70e94b064ee0
Added tag Isabelle2025-RC3 for changeset 52290d6ab92d
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed Feb 19 10:12:35 2025 +0100
+++ b/.hgtags	Wed Feb 19 11:16:19 2025 +0100
@@ -46,3 +46,4 @@
 bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
 ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
 5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
+52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
isabelle