blob: 1eb8ef5a2ab94b2036d18cedd79d9723e0de697b (
plain)
1
2
3
4
5
6
|
- **Fixed:**
Miscellaneous issues with locating tactic errors
(`#13247 <https://github.com/coq/coq/pull/13247>`_,
fixes `#12773 <https://github.com/coq/coq/issues/12773>`_
and `#12992 <https://github.com/coq/coq/issues/12992>`_,
by Hugo Herbelin).
|
