alectryon: Release version 1.0

cpitclaudel · cpitclaudel · commit 55fc849cdb7a · 2020-11-15T14:12:36.000-05:00
diff --git a/alectryon/__init__.py b/alectryon/__init__.py
@@ -20,6 +20,6 @@
 
 """Annotate segments of Coq code with responses and goals."""
 
-__version__ = "0.2"
+__version__ = "1.0"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon v{}".format(__version__)
