From 3d46bed76e656d6a0e4d87320e4d0fd67d1211c2 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 19 Jan 2021 11:55:49 -0800
Subject: Remove the SearchHead command

---
 .../07-vernac-commands-and-options/13763-remove_searchhead.rst        | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc/changelog/07-vernac-commands-and-options/13763-remove_searchhead.rst

(limited to 'doc/changelog')

diff --git a/doc/changelog/07-vernac-commands-and-options/13763-remove_searchhead.rst b/doc/changelog/07-vernac-commands-and-options/13763-remove_searchhead.rst
new file mode 100644
index 0000000000..7f0650d8ee
--- /dev/null
+++ b/doc/changelog/07-vernac-commands-and-options/13763-remove_searchhead.rst
@@ -0,0 +1,4 @@
+- **Removed:**
+  SearchHead command.  Use the `headconcl:` clause of :cmd:`Search` instead
+  (`#13763 <https://github.com/coq/coq/pull/13763>`_,
+  by Jim Fehrle).
-- 
cgit v1.2.3