path: root/doc/changelog/09-coqide/12874-show_proof_diffs.rst

- **Added:**
  Support showing diffs for :cmd:`Show Proof` in CoqIDE from the :n:`View` menu.
  See :ref:`showing_proof_diffs`.
  (`#12874 <https://github.com/coq/coq/pull/12874>`_,
  by Jim Fehrle and Enrico Tassi)