path: root/doc/changelog/05-tactic-language/11740-ltac2-enough.rst

- **Added:**
  Ltac2 notations for :tacn:`enough` and :tacn:`eenough`
  (`#11740 <https://github.com/coq/coq/pull/11740>`_,
  by Michael Soegtrop).