From 17fe3decaf8ae236f0d0ff51ac8fd7f6940acdee Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 28 Apr 2018 23:41:30 +0200 Subject: [PATCH] chore(*): release version 3.4.1 --- README.md | 2 +- doc/changes.md | 5 +++++ src/CMakeLists.txt | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 7440688754..94275f8545 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ About - [Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean/index.html) - [Change Log](doc/changes.md) - [FAQ](doc/faq.md) -- **Important**: Lean 3.4.0 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on. +- **Important**: Lean 3.4 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on. We are currently developing Lean 4 in a new (private) repository. The Lean 4 source code will be released here when ready. The main goals for Lean 4 are described [here](doc/lean4.md). - For HoTT mode, please use [Lean2](https://github.com/leanprover/lean2). diff --git a/doc/changes.md b/doc/changes.md index 4cf11f1309..f16c315e8d 100644 --- a/doc/changes.md +++ b/doc/changes.md @@ -1,3 +1,8 @@ +v3.4.1 (28 April 2018) +------------- + +Bugfix release: Fix a regression concerning type ascriptions in function position + v3.4.0 (16 April 2018) ------------- diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 591c1b9888..863f6a66dd 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -6,7 +6,7 @@ project(LEAN CXX C) set(LEAN_VERSION_MAJOR 3) set(LEAN_VERSION_MINOR 4) set(LEAN_VERSION_PATCH 1) -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)