- **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).