blob: 987b2a8ccd0201fdb0f57933d320c7bb938c9cfe (
plain)
1
2
3
4
5
6
7
|
- New variant :tacn:`change_no_check` of :tacn:`change`, usable as a
documented replacement of :tacn:`convert_concl_no_check`
(`#10012 <https://github.com/coq/coq/pull/10012>`_,
`#10017 <https://github.com/coq/coq/pull/10017>`_,
`#10053 <https://github.com/coq/coq/pull/10053>`_, and
`#10059 <https://github.com/coq/coq/pull/10059>`_,
by Hugo Herbelin and Paolo G. Giarrusso).
|
