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.
merged
authorwenzelm
Tue, 11 Feb 2025 13:09:18 +0100
changeset 82140 14ab8005f490
parent 82131 7d89e4f10ffe (current diff)
parent 82139 0661b8a8c23f (diff)
child 82141 9f509bc10a63
merged
--- a/.hgtags	Mon Feb 10 10:52:55 2025 +0100
+++ b/.hgtags	Tue Feb 11 13:09:18 2025 +0100
@@ -45,3 +45,4 @@
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
 ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
+5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
isabelle