From fa9c868ed2bba1b6e38c49c03a75e86c6cbda0ac Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 14 Sep 2017 18:52:55 +0200 Subject: [PATCH] chore(*): version 3.3.0 --- doc/changes.md | 3 +++ src/CMakeLists.txt | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/doc/changes.md b/doc/changes.md index 9e06ab7745..a04ed72bbb 100644 --- a/doc/changes.md +++ b/doc/changes.md @@ -1,6 +1,9 @@ master branch (aka work in progress branch) ------------- +v3.3.0 (14 September 2017) +------------- + *Features* * In addition to user-defined notation parsers introduced in Lean 3.2.0, users may now also define top-level commands in Lean. For an example, see the [`coinductive` command](https://github.com/leanprover/lean/blob/814a5edaf172c3835c000e3f631bddd85bd879ab/library/init/meta/coinductive_predicates.lean#L551-L552) that has been ported to the new model. diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 3dde01f911..c776f1c668 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,9 +1,9 @@ cmake_minimum_required(VERSION 2.8.7) project(LEAN CXX C) set(LEAN_VERSION_MAJOR 3) -set(LEAN_VERSION_MINOR 2) -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_MINOR 3) +set(LEAN_VERSION_PATCH 0) +set(LEAN_VERSION_IS_RELEASE 1) # This number is 1 in the release revision, and 0 otherwise. set(LEAN_VERSION_STRING "${LEAN_VERSION_MAJOR}.${LEAN_VERSION_MINOR}.${LEAN_VERSION_PATCH}" CACHE STRING "Lean version string") set(LEAN_EXTRA_LINKER_FLAGS "")