blob: dc438f151ee9e9232cac2723d6a1defad2f0d673 (
plain)
1
2
3
4
5
6
|
- **Fixed:**
Loss of location of some tactic errors
(`#12223 <https://github.com/coq/coq/pull/12223>`_,
by Hugo Herbelin; fixes
`#12152 <https://github.com/coq/coq/pull/12152>`_ and
`#12255 <https://github.com/coq/coq/pull/12255>`_).
|
