From a38887058166487607f03972d6d2c25ee9d5dada Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Wed, 1 Apr 2020 17:46:21 -0400
Subject: SearchAbout is deprecated since 8.5; use Search instead

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 23aba63b..699b304b 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -4342,7 +4342,7 @@ The same for a ``Print '' query.
 @item C-c C-a C-b
 The same for a ``About '' query.
 @item C-c C-a C-a
-The same for a ``SearchAbout '' query (no C-u prefix).
+The same for a ``Search '' query (no C-u prefix).
 @item C-c C-a C-o
 The same for a Search ``SearchIsos'' (no C-u prefix).
 
-- 
cgit v1.2.3