File tree Expand file tree Collapse file tree 2 files changed +21
-7
lines changed
Expand file tree Collapse file tree 2 files changed +21
-7
lines changed Original file line number Diff line number Diff line change 1- ==================
2- Breaking changes
3- ==================
1+ ===============
2+ Major changes
3+ ===============
4+
5+ Version 1.2
6+ ===========
7+
8+ - Caching is now supported for all documents, not just those processed through docutils (``--cache-directory ``). [c3dfa6b]
9+
10+ - (Experimental) LaTeX export now works for full reST and Coq documents, not just snippets. [GH-47]
411
512Version 1.1
613===========
714
8- - Rename CSS classes from ``.coq-… `` to ``.alectryon-… ``.
9- - Rename CSS class ``alectryon-header `` to ``alectryon-banner ``.
10- - Remove the undocumented ``alectryon-header `` directive.
15+ - Alectryon is now on PyPI. [GH-46]
16+
17+ - `alectryon.el ` is now on MELPA. [https://github.com/melpa/melpa/pull/7554]
18+
19+ Breaking changes
20+ ----------------
21+
22+ - CSS classes have been renamed from ``.coq-… `` to ``.alectryon-… ``.
23+ - CSS class ``alectryon-header `` is now ``alectryon-banner ``.
24+ - The undocumented ``alectryon-header `` has been removed.
Original file line number Diff line number Diff line change 2020
2121"""Annotate segments of Coq code with responses and goals."""
2222
23- __version__ = "1.1 "
23+ __version__ = "1.2 "
2424__author__ = 'Clément Pit-Claudel'
2525GENERATOR = "Alectryon"
You can’t perform that action at this time.
0 commit comments