doc/changelog/12-misc/11755-exn+tclfail.rst


1
2
3
4

- **Added:**
  Backtrace information for tactics has been improved
  (`#11755 <https://github.com/coq/coq/pull/11755>`_,
  by Emilio Jesus Gallego Arias).