diff options
| author | Théo Zimmermann | 2018-10-05 14:29:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-05 14:29:54 +0200 |
| commit | 3d263748166b2f4b3fd58a4f8de3e66f03713680 (patch) | |
| tree | 5582ebc2f8b2f62517b4b92486d1a014bcf6c265 /doc | |
| parent | 4108c982aa68e16e94896768358b83047977480d (diff) | |
| parent | 6f56c46a8b2383c4c7cb2e10c24a5e5a3c2191fb (diff) | |
Merge PR #8645: Improve markdown in changes.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/credits-contents.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/credits-contents.rst b/doc/sphinx/credits-contents.rst index 212f0a65b0..d1df0657aa 100644 --- a/doc/sphinx/credits-contents.rst +++ b/doc/sphinx/credits-contents.rst @@ -1238,7 +1238,7 @@ of integers and real constants are now represented using `IZR` (work by Guillaume Melquiond). Standard library additions and improvements by Jason Gross, Pierre Letouzey and -others, documented in the `CHANGES` file. +others, documented in the ``CHANGES.md`` file. The mathematical proof language/declarative mode plugin was removed from the archive. @@ -1352,7 +1352,7 @@ version. Version 8.8 also comes with a bunch of smaller-scale changes and improvements regarding the different components of the system. -Most important ones are documented in the ``CHANGES`` file. +Most important ones are documented in the ``CHANGES.md`` file. The efficiency of the whole system has seen improvements thanks to contributions from Gaëtan Gilbert, Pierre-Marie Pédrot, Maxime Dénès and |