path: root/doc/changelog/08-tools/12772-fix-details.rst

- **Fixed:**
  The `details` environment added in the 8.12 release can now be used
  as advertised in the reference manual
  (`#12772 <https://github.com/coq/coq/pull/12772>`_,
  by Thomas Letan).