From a3869e5371c89629ddfd8ccdd1bdc0de12efe806 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Mon, 9 Nov 2020 18:39:49 +0100 Subject: [refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina. The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version. --- doc/sphinx/appendix/history-and-changes/index.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/sphinx/appendix') diff --git a/doc/sphinx/appendix/history-and-changes/index.rst b/doc/sphinx/appendix/history-and-changes/index.rst index b00a7cdb08..50ffec8e3f 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| ` and is presented in +:ref:`early history of Coq ` and is presented in chronological order. The second one provides :ref:`release notes -about recent versions of |Coq| ` and is presented in reverse -chronological order. When updating your copy of |Coq| to a new version +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 -- cgit v1.2.3