diff options
Diffstat (limited to 'doc/changelog/07-commands-and-options/8855-master+more-search-options.rst')
| -rw-r--r-- | doc/changelog/07-commands-and-options/8855-master+more-search-options.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/changelog/07-commands-and-options/8855-master+more-search-options.rst b/doc/changelog/07-commands-and-options/8855-master+more-search-options.rst new file mode 100644 index 0000000000..cd993bf356 --- /dev/null +++ b/doc/changelog/07-commands-and-options/8855-master+more-search-options.rst @@ -0,0 +1,9 @@ +- **Added:** Support for new clauses `hyp:`, `headhyp:`, `concl:`, + `headconcl:`, `head:` and `is:` in :cmd:`Search`. Support for + complex search queries combining disjunctions, conjunctions and + negations (`#8855 <https://github.com/coq/coq/pull/8855>`_, by Hugo + Herbelin, with ideas from Cyril Cohen and help from Théo + Zimmermann). +- **Deprecated:** :cmd:`SearchHead` in favor of the new `headconcl:` + clause of :cmd:`Search` (part of `#8855 + <https://github.com/coq/coq/pull/8855>`_, by Théo Zimmermann). |