blob: 03ed15d9480b5459ce58c649f99ea4ddbbf2529a (
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).
|
