From 1c3824f6f953083bd64ca06519b98e443c7949f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= <clement.pitclaudel@live.com>
Date: Wed, 14 Jul 2021 09:48:35 -0400
Subject: [PATCH] alectryon: Release version 1.2

---
 CHANGES.rst           | 26 ++++++++++++++++++++------
 alectryon/__init__.py |  2 +-
 2 files changed, 21 insertions(+), 7 deletions(-)

diff --git a/CHANGES.rst b/CHANGES.rst
index f4b6ee51..2190e229 100644
--- a/CHANGES.rst
+++ b/CHANGES.rst
@@ -1,10 +1,24 @@
-==================
- Breaking changes
-==================
+===============
+ Major changes
+===============
+
+Version 1.2
+===========
+
+- Caching is now supported for all documents, not just those processed through docutils (``--cache-directory``). [c3dfa6b]
+
+- (Experimental) LaTeX export now works for full reST and Coq documents, not just snippets. [GH-47]
 
 Version 1.1
 ===========
 
-- Rename CSS classes from ``.coq-…`` to ``.alectryon-…``.
-- Rename CSS class ``alectryon-header`` to ``alectryon-banner``.
-- Remove the undocumented ``alectryon-header`` directive.
+- Alectryon is now on PyPI. [GH-46]
+
+- `alectryon.el` is now on MELPA. [https://github.com/melpa/melpa/pull/7554]
+
+Breaking changes
+----------------
+
+- CSS classes have been renamed from ``.coq-…`` to ``.alectryon-…``.
+- CSS class ``alectryon-header`` is now ``alectryon-banner``.
+- The undocumented ``alectryon-header`` has been removed.
diff --git a/alectryon/__init__.py b/alectryon/__init__.py
index 6896b6c1..38bb784c 100644
--- a/alectryon/__init__.py
+++ b/alectryon/__init__.py
@@ -20,6 +20,6 @@
 
 """Annotate segments of Coq code with responses and goals."""
 
-__version__ = "1.1"
+__version__ = "1.2"
 __author__ = 'Clément Pit-Claudel'
 GENERATOR = "Alectryon"