blob: 2fef75dc7fe1a8edf6dd25915a793cd19540baff (
plain)
1
2
3
4
|
- **Changed:**
The tactics :tacn:`eapply`, :tacn:`refine` and its variants no
longer allows shelved goals to be solved by typeclass resolution.
(`#10762 <https://github.com/coq/coq/pull/10762>`_, by Matthieu Sozeau).
|
