path: root/doc/changelog/05-tactic-language/14128-ltac2-bool-equal-rename.rst

- **Changed:**
  Renamed Ltac2 Bool.eq into Bool.equal for uniformity.
  The old function is now a deprecated alias
  (`#14128 <https://github.com/coq/coq/pull/14128>`_,
  by Pierre-Marie Pédrot).