diff options
| author | Théo Zimmermann | 2020-03-26 15:24:21 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-26 18:00:56 +0100 |
| commit | ec39d9ce2f43c30d760b33293bb76eca6749b13f (patch) | |
| tree | ba3f8471ff55782ab1b067cfe44620f83f8033c0 /doc | |
| parent | 89aefbacd26b5febe36274f722e67d25f6d42aeb (diff) | |
CIC is printed in all-caps.
As CIC is really an acronym, it should be printed in all-caps.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/refman-preamble.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/refman-preamble.rst b/doc/sphinx/refman-preamble.rst index a31d778af6..05e665a43b 100644 --- a/doc/sphinx/refman-preamble.rst +++ b/doc/sphinx/refman-preamble.rst @@ -14,7 +14,7 @@ .. |c_1| replace:: `c`\ :math:`_{1}` .. |c_i| replace:: `c`\ :math:`_{i}` .. |c_n| replace:: `c`\ :math:`_{n}` -.. |Cic| replace:: :smallcaps:`Cic` +.. |Cic| replace:: CIC .. |Coq| replace:: :smallcaps:`Coq` .. |CoqIDE| replace:: :smallcaps:`CoqIDE` .. |eq_beta_delta_iota_zeta| replace:: `=`\ :math:`_{\beta\delta\iota\zeta}` |