diff options
Diffstat (limited to 'doc/changelog/05-tactic-language/11740-ltac2-enough.rst')
| -rw-r--r-- | doc/changelog/05-tactic-language/11740-ltac2-enough.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/changelog/05-tactic-language/11740-ltac2-enough.rst b/doc/changelog/05-tactic-language/11740-ltac2-enough.rst index ced3e0ab60..5d3671bce1 100644 --- a/doc/changelog/05-tactic-language/11740-ltac2-enough.rst +++ b/doc/changelog/05-tactic-language/11740-ltac2-enough.rst @@ -1,4 +1,4 @@ - **Added:** - Ltac2 notations for enough an eenough + Ltac2 notations for :tacn:`enough` and :tacn:`eenough` (`#11740 <https://github.com/coq/coq/pull/11740>`_, by Michael Soegtrop). |