From a62d2fd4979671b76b8ab13ccbe4fdf410ec0d9d Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Tue, 26 Sep 2023 12:13:49 +1000 Subject: [PATCH] chore: begin release branch for v4.2.0 --- RELEASES.md | 3 ++- src/CMakeLists.txt | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index fa685d8168d5..0927b98283bf 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -7,9 +7,10 @@ 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.2.0 --------- +No breaking changes at present. v4.1.0 --------- diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 2c2425da5f94..268306b46a2a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -11,7 +11,7 @@ project(LEAN CXX C) set(LEAN_VERSION_MAJOR 4) set(LEAN_VERSION_MINOR 2) set(LEAN_VERSION_PATCH 0) -set(LEAN_VERSION_IS_RELEASE 0) # This number is 1 in the release revision, and 0 otherwise. +set(LEAN_VERSION_IS_RELEASE 1) # 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'") set(LEAN_VERSION_STRING "${LEAN_VERSION_MAJOR}.${LEAN_VERSION_MINOR}.${LEAN_VERSION_PATCH}") if (LEAN_SPECIAL_VERSION_DESC)