diff options
Diffstat (limited to 'doc/sphinx/appendix/history-and-changes')
| -rw-r--r-- | doc/sphinx/appendix/history-and-changes/index.rst | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/sphinx/appendix/history-and-changes/index.rst b/doc/sphinx/appendix/history-and-changes/index.rst new file mode 100644 index 0000000000..3535a4d8a7 --- /dev/null +++ b/doc/sphinx/appendix/history-and-changes/index.rst @@ -0,0 +1,20 @@ +.. _history-and-changes: + +========================== +History and recent changes +========================== + +This chapter is divided in two parts. The first one is about the +early history of Coq and is presented in chronological order. The +second one provides release notes about recent versions of Coq 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 |