Quelle  index.rst   Sprache: unbekannt

.. _history-and-changes:

==========================
History and recent changes
==========================

This chapter is divided in two parts.  The first one is about the
:ref:`early history of Coq <history>` and is presented in
chronological order.  The second one provides :ref:`release notes
about recent versions of the Rocq Prover <changes>` and is presented in reverse
chronological order.  When updating your version of Rocq
(especially to a new major version), it is strongly recommended that you
read the corresponding release notes.  They may contain advice that
will help you understand the differences with the previous version and
upgrade your projects.

.. toctree::
   :maxdepth: 1

   ../../history
   ../../changes