diff options
| author | Maxime Dénès | 2019-06-06 14:52:34 +0200 |
|---|---|---|
| committer | GitHub | 2019-06-06 14:52:34 +0200 |
| commit | 80f3014e8360bc9c5bb21e119930bc989a8ed992 (patch) | |
| tree | d6af2a8c4c7972b2b4c18d99b74652d746b7beb7 | |
| parent | fb30e8880a3027ef1c957df668a906d723e8a8a0 (diff) | |
Update doc/changelog/03-notations/10180-deprecate-notations.rst
Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
| -rw-r--r-- | doc/changelog/03-notations/10180-deprecate-notations.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/changelog/03-notations/10180-deprecate-notations.rst b/doc/changelog/03-notations/10180-deprecate-notations.rst index 050aa105d8..57548513fe 100644 --- a/doc/changelog/03-notations/10180-deprecate-notations.rst +++ b/doc/changelog/03-notations/10180-deprecate-notations.rst @@ -1,4 +1,4 @@ -- The `Notation` and `Infix` commands now support the `deprecated` +- The :cmd:`Notation` and :cmd:`Infix` commands now support the `deprecated` attribute. The former `compat` annotation for notations is deprecated, and its semantics changed. It is now made equivalent to using a `deprecated` attribute, and is no longer connected with the `-compat` |