[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.

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 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| <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