diff options
Diffstat (limited to 'doc/changelog/04-tactics/10760-more-rapply.rst')
| -rw-r--r-- | doc/changelog/04-tactics/10760-more-rapply.rst | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/changelog/04-tactics/10760-more-rapply.rst b/doc/changelog/04-tactics/10760-more-rapply.rst deleted file mode 100644 index 32cd9b7135..0000000000 --- a/doc/changelog/04-tactics/10760-more-rapply.rst +++ /dev/null @@ -1,8 +0,0 @@ -- **Changed:** - The tactic :tacn:`rapply` in :g:`Coq.Program.Tactics` now handles - arbitrary numbers of underscores and takes in a :g:`uconstr`. In - rare cases where users were relying on :tacn:`rapply` inserting - exactly 15 underscores and no more, due to the lemma having a - completely unspecified codomain (and thus allowing for any number of - underscores), the tactic will now instead loop (`#10760 - <https://github.com/coq/coq/pull/10760>`_, by Jason Gross). |