From 3c5e612dc54733cd707becb929457d2f9d8ca6fd Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Mon, 2 Dec 2024 15:11:10 +1100 Subject: [PATCH] chore: begin development cycle for v4.16.0 (#6277) --- RELEASES.md | 9 +++++++-- src/CMakeLists.txt | 2 +- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index 9483bd8219..d70621fbdc 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -8,11 +8,16 @@ 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.15.0 +v4.16.0 ---------- Development in progress. +v4.15.0 +---------- + +Release candidate, release notes will be copied from the branch `releases/v4.15.0` once completed. + v4.14.0 ---------- @@ -88,7 +93,7 @@ v4.13.0 * [#4768](https://github.com/leanprover/lean4/pull/4768) fixes a parse error when `..` appears with a `.` on the next line * Metaprogramming - * [#3090](https://github.com/leanprover/lean4/pull/3090) handles level parameters in `Meta.evalExpr` (@eric-wieser) + * [#3090](https://github.com/leanprover/lean4/pull/3090) handles level parameters in `Meta.evalExpr` (@eric-wieser) * [#5401](https://github.com/leanprover/lean4/pull/5401) instance for `Inhabited (TacticM α)` (@alexkeizer) * [#5412](https://github.com/leanprover/lean4/pull/5412) expose Kernel.check for debugging purposes * [#5556](https://github.com/leanprover/lean4/pull/5556) improves the "invalid projection" type inference error in `inferType`. diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 08e584b179..7ad5d59766 100644 --- 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 15) +set(LEAN_VERSION_MINOR 16) 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'")