From a5a150a86229e84f3ab3706fbdb2eb20dc22e144 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Tue, 26 Sep 2023 14:18:54 +1000 Subject: [PATCH] chore: begin development cycle for v4.3.0 (#2585) --- RELEASES.md | 6 +++++- src/CMakeLists.txt | 2 +- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index fa685d8168..49f9db7c03 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -7,9 +7,13 @@ only an expectation that breaking changes will be documented in this file. This file contains work-in-progress notes for the upcoming release, as well as previous stable releases. Please check the [releases](https://github.com/leanprover/lean4/releases) page for the current status of each version. -v4.2.0 (development in progress) +v4.3.0 (development in progress) --------- +v4.2.0 +--------- + +No breaking changes. v4.1.0 --------- diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 2c2425da5f..edde691518 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -9,7 +9,7 @@ endif() include(ExternalProject) project(LEAN CXX C) set(LEAN_VERSION_MAJOR 4) -set(LEAN_VERSION_MINOR 2) +set(LEAN_VERSION_MINOR 3) 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'")