; changes: Update commit identifiers

Author: cpitclaudel

CHANGES.rst

@@ -5,15 +5,15 @@
 Unreleased
 ==========
 
-- JSON recordings (produced by ``--backend json``) can now be used as inputs to generate webpages or highlighted snippets.
+- JSON recordings (produced by ``--backend json``) can now be used as inputs to generate webpages or highlighted snippets. [c69b08ee]
 
-- Alectryon's cache format has changed to support documents with multiple languages.  Caches created with previous versions of Alectryon can still be read and do not need to be regenerated. [33f4c141]
+- Alectryon's cache format has changed to support documents with multiple languages.  Caches created with previous versions of Alectryon can still be read and do not need to be regenerated. [d376077b]
 
-- Alectryon can now compile Coq documents without running proofs nor recording Coq's output.  This is useful for quick experimentation. [GH-52] [745633c4]
+- Alectryon can now compile Coq documents without running proofs nor recording Coq's output.  This is useful for quick experimentation. [GH-52] [6f4ae202]
 
-- Alectryon can now compile Coq documents with ``coqc`` instead of ``SerAPI``.  The results do not include goals or messages.  This is useful when trying out a version of Coq that SerAPI does not support yet. [GH-60] [9c5fe161]
+- Alectryon can now compile Coq documents with ``coqc`` instead of ``SerAPI``.  The results do not include goals or messages.  This is useful when trying out a version of Coq that SerAPI does not support yet. [GH-60] [735e72b9]
 
-- Per-document Coq syntax-highlighting rules added to the docinfo section at the beginning of each document are now prefixed with ``alectryon/pygments/coq/`` instead of ``alectryon/pygments/`` (the legacy prefix is still supported). [6a26ac48]
+- Per-document Coq syntax-highlighting rules added to the docinfo section at the beginning of each document are now prefixed with ``alectryon/pygments/coq/`` instead of ``alectryon/pygments/`` (the legacy prefix is still supported). [3a9ffe6d]
 
 - A new extension of the marker-placement mini-language allows authors to attach properties to parts of a proof; for example, ``.. coq:: .s(Extraction).msg[lang]=haskell`` highlights all messages produced by ``Extraction`` commands using the Haskell lexer instead of the usual Coq lexer. [409fa6c3]
 
@@ -30,7 +30,7 @@ Breaking changes
 
 - Multiple APIs have been generalized to allow working with languages other than Coq and drivers other than SerAPI.  In particular, ``docutils.AlectryonTransform.SERTOP_ARGS`` is now ``docutils.AlectryonTransform.DRIVER_ARGS['sertop']`` [735e72b9]; ``transforms.DEFAULT_TRANSFORMS`` is now ``transforms.DEFAULT_TRANSFORMS["coq"]`` [370b8206]; docinfo headers for custom highlighting now use the prefix ``alectryon/pygments/coq/`` instead of ``alectryon/pygments/`` [a58a0449] (backwards-compatible); caches are now partitioned by language [d376077b] (backwards-compatible); ``html.gen_banner`` now takes a list of ``DriverInfo`` instances (renamed from ``GeneratorInfo`` in [2ce6c0a4]) instead of a single one [d376077b]; ``--backend json`` now writes files named ``.v.io.json`` instead of ``.io.json``; and ``--frontend json`` is now ``--frontend coq.json`` [] (backwards-compatible).
 
-- SerAPI-specific parts of the ``core`` module have been moved to a new ``serapi`` module. [851b22a2]
+- SerAPI-specific parts of the ``core`` module have been moved to a new ``serapi`` module. [91058a61]
 
 - The Pygments stylesheets generated by Alectryon were renamed from ``tango_subtle.sty`` and ``tango_subtle.css`` to ``pygments.sty`` and ``pygments.css`` to reflect the fact that the style is not hardcoded any more. [9c15544f]  Instead, these stylesheets are now generated dynamically based on the style chosen using the ``--pygments-style`` flag or the ``pygments_style`` option in ``docutils.conf``. [63539edd]  The files ``assets/tango_subtle.*`` have been removed. [cea4ed47]