diff options
| author | coqbot-app[bot] | 2020-10-22 20:32:00 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-22 20:32:00 +0000 |
| commit | 00b82b7399ce01730371b8e80315f65e9254da91 (patch) | |
| tree | ba146f40a345d99ef476d2e85151b08c640edfc0 /doc/sphinx/appendix | |
| parent | fe095cd8b63e363e82953503cb84a851296c1965 (diff) | |
| parent | 3230c568eb0bc719feca642a1537555e262478eb (diff) | |
Merge PR #11924: Add style for smallcaps.
Reviewed-by: jfehrle
Diffstat (limited to 'doc/sphinx/appendix')
| -rw-r--r-- | doc/sphinx/appendix/history-and-changes/index.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/sphinx/appendix/history-and-changes/index.rst b/doc/sphinx/appendix/history-and-changes/index.rst index 50ffec8e3f..b00a7cdb08 100644 --- a/doc/sphinx/appendix/history-and-changes/index.rst +++ b/doc/sphinx/appendix/history-and-changes/index.rst @@ -5,10 +5,10 @@ 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 +: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 +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 |