diff options
| author | Théo Zimmermann | 2020-05-23 13:47:08 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-27 15:38:20 +0200 |
| commit | 1f04d9e08372284ac932545292dc7a50e5226ed3 (patch) | |
| tree | a4040142fd6234685247ab750cddffcb6d6d10a9 | |
| parent | 35e175710795974a4a38c8a7d6da6a5ccaf8de74 (diff) | |
Fix changelog for #11986.
| -rw-r--r-- | doc/changelog/03-notations/11986-float-low-level-printing.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/changelog/03-notations/11986-float-low-level-printing.rst b/doc/changelog/03-notations/11986-float-low-level-printing.rst index f3d85cadc6..aba74891c6 100644 --- a/doc/changelog/03-notations/11986-float-low-level-printing.rst +++ b/doc/changelog/03-notations/11986-float-low-level-printing.rst @@ -1,5 +1,5 @@ - **Added:** - Add flag ``Printing Float`` to print primitive floats as hexadecimal - instead of decimal values. This is included in ``Set Printing All``. + :flag:`Printing Float` flag to print primitive floats as hexadecimal + instead of decimal values. This is included in the :flag:`Printing All` flag (`#11986 <https://github.com/coq/coq/pull/11986>`_, by Pierre Roux). |