path: root/doc/changelog/04-tactics/12399-rm-prolog.rst

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