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.
post-release updates;
authorwenzelm
Thu, 13 Mar 2025 15:56:32 +0100
changeset 82268 afc1d2b349d8
parent 82267 2c90d28037d1
child 82269 72e641e3b7cd
post-release updates;
.hgtags file | annotate | diff | comparison | revisions
Admin/Release/official file | annotate | diff | comparison | revisions 
--- a/.hgtags	Thu Mar 13 15:49:15 2025 +0100
+++ b/.hgtags	Thu Mar 13 15:56:32 2025 +0100
@@ -43,9 +43,4 @@
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
-bcb793b951c0d6d2501b2a120ecab37ac7e70d06 Isabelle2025-RC0
-ba32209092213c33523db9860a53de75ff5088e4 Isabelle2025-RC1
-5888f0bec9718859a47c31da538bdef59c3f38b7 Isabelle2025-RC2
-52290d6ab92d628c7d8a07638b21125e23733e1d Isabelle2025-RC3
-ac7c09c6ff2f6886da114adfa7b1abd690c782ca Isabelle2025-RC4
 4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
--- a/Admin/Release/official	Thu Mar 13 15:49:15 2025 +0100
+++ b/Admin/Release/official	Thu Mar 13 15:56:32 2025 +0100
@@ -1,3 +1,4 @@
+Isabelle2025
 Isabelle2024
 Isabelle2023
 Isabelle2022
isabelle