- **Removed:**
  The deprecated and undocumented "prolog" tactic was removed
  (`#12399 <https://github.com/coq/coq/pull/12399>`_,
  by Pierre-Marie Pédrot).