chore: begin development cycle for v4.12.0 (leanprover#4986)

Parcly-Taxel · Aug 12, 2024 · 0e527b4 · 0e527b4
1 parent 79f088f
commit 0e527b4
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 68 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -8,10 +8,14 @@ This file contains work-in-progress notes for the upcoming release, as well as p
 Please check the [releases](https://github.com/leanprover/lean4/releases) page for the current status
 of each version.
 
-v4.11.0
+v4.12.0
 ----------
 Development in progress.
 
+v4.11.0
+----------
+Release candidate, release notes will be copied from the branch `releases/v4.11.0` once completed.
+
 v4.10.0
 ----------
 

diff --git a/doc/dev/release_checklist.md b/doc/dev/release_checklist.md
@@ -192,7 +192,7 @@ We'll use `v4.7.0-rc1` as the intended release version in this example.
     finalized release notes from the `releases/v4.6.0` branch.
   - Replaces the "development in progress" in the `v4.7.0` section of `RELEASES.md` with
     ```
-    Release candidate, release notes will be copied from `branch releases/v4.7.0` once completed.
+    Release candidate, release notes will be copied from the branch `releases/v4.7.0` once completed.
     ```
     and inserts the following section before that section:
     ```
@@ -201,6 +201,8 @@ We'll use `v4.7.0-rc1` as the intended release version in this example.
     Development in progress.
     ```
   - Removes all the entries from the `./releases_drafts/` folder.
+  - Titled "chore: begin development cycle for v4.8.0"
+
 
 ## Time estimates:
 Slightly longer than the corresponding steps for a stable release.

diff --git a/releases_drafts/mutualStructural.md b/releases_drafts/mutualStructural.md
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -10,7 +10,7 @@ endif()
 include(ExternalProject)
 project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 4)
-set(LEAN_VERSION_MINOR 11)
+set(LEAN_VERSION_MINOR 12)
 set(LEAN_VERSION_PATCH 0)
 set(LEAN_VERSION_IS_RELEASE 0)  # This number is 1 in the release revision, and 0 otherwise.
 set(LEAN_SPECIAL_VERSION_DESC "" CACHE STRING "Additional version description like 'nightly-2018-03-11'")