From 80f3014e8360bc9c5bb21e119930bc989a8ed992 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 6 Jun 2019 14:52:34 +0200 Subject: Update doc/changelog/03-notations/10180-deprecate-notations.rst Co-Authored-By: Théo Zimmermann --- doc/changelog/03-notations/10180-deprecate-notations.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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` -- cgit v1.2.3