Any chance https://github.com/coq/coq/pull/17937 can make it in to 8.18?
I tend to not like changes to tactics between rc and final (except for straightforward bug fixes), because it has a record of having delayed more than one release. But no strong opinion. @Enrico Tassi WDYT?
Only doc updates and crytical bugs.
Last updated: Nov 29 2023 at 22:01 UTC