alectryon: Release version 1.3.1

cpitclaudel · Aug 17, 2021 · ef9b4d4 · ef9b4d4
1 parent 3429d0f
commit ef9b4d4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGES.rst b/CHANGES.rst
@@ -2,8 +2,8 @@
  Major changes
 ===============
 
-Unreleased
-==========
+Version 1.3.1
+=============
 
 - Spacing and line breaks in LaTeX documents generated by Alectryon are now more consistent, especially in ``no-out`` blocks. [91fc735, bc4f408]
 

diff --git a/alectryon/__init__.py b/alectryon/__init__.py
@@ -20,6 +20,6 @@
 
 """Annotate segments of Coq code with responses and goals."""
 
-__version__ = "1.3.0"
+__version__ = "1.3.1"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon"