chore(*): update change log, and bump work in progress version to 3.2.1

.appveyor.yml

@@ -16,7 +16,7 @@ test_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4 --output-on-failure"
 
 artifacts:
-  - path: build\lean-3.2.0-windows.zip
+  - path: build\lean-3.2.1-windows.zip
     name: binary
 
 deploy:

.travis.yml

@@ -24,7 +24,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=g++-4.9
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.2.0-linux.tar.gz
+       TARGET=build/lean-3.2.1-linux.tar.gz
        UPLOAD=ON
        STATIC=ON
 
@@ -91,7 +91,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=clang++
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.2.0-darwin.zip
+       TARGET=build/lean-3.2.1-darwin.zip
        UPLOAD=ON
        PACKAGE=TRUE
 

doc/changes.md

@@ -1,4 +1,7 @@
-Current build
+master branch (aka work in progress branch)
+-------------
+
+v3.2.0 (18 June 2017)
 -------------
 
 Lean is still evolving rapidly, and we apologize for the resulting instabilities. The lists below summarizes some of the new features and incompatibilities with respect to release 3.1.0.

src/CMakeLists.txt

@@ -2,7 +2,7 @@ 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 0)
+set(LEAN_VERSION_PATCH 1)
 
 set(LEAN_EXTRA_LINKER_FLAGS "")
 set(LEAN_EXTRA_CXX_FLAGS "")