diff options
Diffstat (limited to 'doc/changelog/06-ssreflect/8855-master+more-search-options.rst')
| -rw-r--r-- | doc/changelog/06-ssreflect/8855-master+more-search-options.rst | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/changelog/06-ssreflect/8855-master+more-search-options.rst b/doc/changelog/06-ssreflect/8855-master+more-search-options.rst deleted file mode 100644 index 2fdacfd82a..0000000000 --- a/doc/changelog/06-ssreflect/8855-master+more-search-options.rst +++ /dev/null @@ -1,11 +0,0 @@ -- **Changed:** The :cmd:`Search (ssreflect)` command that used to be - available when loading the `ssreflect` plugin has been moved to a - separate plugin that needs to be loaded separately: `ssrsearch` - (part of `#8855 <https://github.com/coq/coq/pull/8855>`_, fixes - `#12253 <https://github.com/coq/coq/issues/12253>`_, by Théo - Zimmermann). - -- **Deprecated:** :cmd:`Search (ssreflect)` (available through - `Require ssrsearch.`) in favor of the `headconcl:` clause of - :cmd:`Search` (part of `#8855 - <https://github.com/coq/coq/pull/8855>`_, by Théo Zimmermann). |