path: root/doc/changelog/08-tools/10592-coqdoc-details.rst

- **Added:**
  A new documentation environment ``details`` to make certain portion
  of a Coq document foldable.  See :ref:`coqdoc`
  (`#10592 <https://github.com/coq/coq/pull/10592>`_,
  by Thomas Letan).