alectryon: Release version 1.1

cpitclaudel · Jul 1, 2021 · 2c04bd9 · 2c04bd9
1 parent 2dd52dd
commit 2c04bd9
Showing 1 changed file with 1 addition and 1 deletion.
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.0"
+__version__ = "1.1"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon"