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
Mon, 11 Sep 2023 23:13:23 +0200
changeset 78662 123bbc715ec9
parent 78661 5930c89d3bf2
child 78663 3032bc7d613d
post-release updates;
.hgtags file | annotate | diff | comparison | revisions
Admin/Release/official file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Sep 11 22:59:34 2023 +0200
+++ b/.hgtags	Mon Sep 11 23:13:23 2023 +0200
@@ -40,10 +40,4 @@
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1
 1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
-f4221ae7544ca26fdfba64d4e04ebd3d3b5a694d Isabelle2023-RC0
-006dbc9c2de1d1c541a9d822b42c70fedf223e08 Isabelle2023-RC1
-53b59fa42696a6eff4bf073b510fc923794e7df5 Isabelle2023-RC2
-f5fb5bb2533fdf96b136a2aa508e30d4608fd888 Isabelle2023-RC3
-12aac1489f3bfcddfd21d3598dc2ed7512999682 Isabelle2023-RC4
-ffa417b5c9137255818c24137df05f49a3af1b8d Isabelle2023-RC5
 b5f3d1051b131a80b1e4560cc05e5a3d223bc64f Isabelle2023
--- a/Admin/Release/official	Mon Sep 11 22:59:34 2023 +0200
+++ b/Admin/Release/official	Mon Sep 11 23:13:23 2023 +0200
@@ -1,3 +1,4 @@
+Isabelle2023
 Isabelle2022
 Isabelle2021-1
 Isabelle2021
isabelle