Version 1.3.1

CHANGES.md

 :x: marks a potential source of incompatibility
 
+Version 1.3.1, March 24, 2020
+-----------------------------
+
 Bug fixes
   * fixed conflicting symbols for CVC4 1.7
   * fixed META file
+  * fixed infinite loops in strategies
 
 Version 1.3.0, March 17, 2020
 -----------------------------

configure.in

@@ -25,7 +25,7 @@
 # See the GNU Library General Public License version 2 for more details
 # (enclosed in the file LGPL).
 
-AC_INIT([Why3], [1.3.0])
+AC_INIT([Why3], [1.3.1])
 
 # verbosemake
 

doc/conf.py

@@ -58,7 +58,7 @@ author = 'The Why3 Development Team'
 # The short X.Y version.
 version = '1.3'
 # The full version, including alpha/beta/rc tags.
-release = '1.3.0'
+release = '1.3.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

misc/release.md

@@ -8,6 +8,7 @@
   - `make trywhy3`
   - run `make detect-unused` and remove unused files
   - run `make update-doc-png` and check if some pictures need to be updated
+  - check `lib/why3/META.in`
 
 * change version number `VERSION=1.3 RELEASE=1.3.0`
   - update the first line of `configure.in` using `$RELEASE`