doc/changelog/05-tactic-language/13232-ltac2-if-then-else.rst


1
2
3
4
5

- **Added:**
  An if-then-else syntax to Ltac2
  (`#13232 <https://github.com/coq/coq/pull/13232>`_,
  fixes `#10110 <https://github.com/coq/coq/issues/10110>`_,
  by Pierre-Marie Pédrot).