blob: b00a7cdb0819d07b8b52243a2c32db28bb7dd109 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
.. _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 |Coq| <changes>` and is presented in reverse
chronological order. When updating your copy of |Coq| to a new version
(especially 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
|
