alectryon: Release version 1.4.0

cpitclaudel · cpitclaudel · commit bddc1dc5757b · 2021-10-14T15:32:30.000-04:00
diff --git a/CHANGES.rst b/CHANGES.rst
@@ -2,8 +2,8 @@
  Major changes
 ===============
 
-Unreleased
-==========
+Version 1.4.0
+=============
 
 - JSON recordings (produced by ``--backend json``) can now be used as inputs to generate webpages or highlighted snippets. [c69b08ee]
 
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.4.0-dev"
+__version__ = "1.4.0"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon"
