blob: b4f991316e694263fbde2f3fb8de126c1024e80d (
plain)
1
2
3
4
|
- The goal selector tactical ``only`` now checks that the goal range
it is given is valid instead of ignoring goals out of the focus
range (`#10318 <https://github.com/coq/coq/pull/10318>`_, by Gaëtan
Gilbert).
|
