diff options
| author | Maxime Dénès | 2019-07-25 15:42:30 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-11-30 12:17:12 +0100 |
| commit | b76db7671bc23238938bc090af0e00b3009f481c (patch) | |
| tree | cade05050f9bd7fbe9d3c39feb8ad8b08fc0cb6b | |
| parent | 639886e771882e2c3302cbadc35e9383b34db1fe (diff) | |
Deprecation annotation for `convert_concl_no_check`
| -rw-r--r-- | doc/sphinx/proof-engine/tactics.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/proof-engine/tactics.rst b/doc/sphinx/proof-engine/tactics.rst index 4f903d5776..2c245e7d9b 100644 --- a/doc/sphinx/proof-engine/tactics.rst +++ b/doc/sphinx/proof-engine/tactics.rst @@ -4895,6 +4895,8 @@ Performance-oriented tactic variants .. tacv:: convert_concl_no_check @term :name: convert_concl_no_check + .. deprecated:: 8.11 + Deprecated old name for :tacn:`change_no_check`. Does not support any of its variants. |