From 912999083313c149c098907b3017a41217f56098 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Mon, 4 Nov 2024 10:25:03 +1100 Subject: [PATCH] chore: begin development cycle for v4.15 (#5936) --- RELEASES.md | 15 +++++++++++++++ src/CMakeLists.txt | 2 +- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/RELEASES.md b/RELEASES.md index edfc7c17f358..51d2ff0c8ddf 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -8,6 +8,21 @@ 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 +---------- + +Development in progress. + +v4.14.0 +---------- + +Release candidate, release notes will be copied from the branch `releases/v4.14.0` once completed. + +v4.13.0 +---------- + +Release candidate, release notes will be copied from the branch `releases/v4.13.0` once completed. + v4.12.0 ---------- diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 1ddb9907d8fb..9927c8bb713e 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 14) +set(LEAN_VERSION_MINOR 15) 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'")