chore(*): version 3.3.0

leanprover · Sep 14, 2017 · fa9c868 · fa9c868
1 parent 7ff06b2
commit fa9c868
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -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 "")