From 2a803690d76724fd7c97288f208f3a1faf98eca1 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Fri, 27 Mar 2020 21:55:37 -0700
Subject: Remove SearchAbout command, deprecated in 8.5

---
 ide/coq_commands.ml | 1 -
 ide/microPG.ml      | 1 -
 2 files changed, 2 deletions(-)

(limited to 'ide')

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index c5883cef0d..711986c2b2 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -207,7 +207,6 @@ let state_preserving = [
   "Recursive Extraction Library";
 
   "Search";
-  "SearchAbout (* deprecated *)";
   "SearchHead";
   "SearchPattern";
   "SearchRewrite";
diff --git a/ide/microPG.ml b/ide/microPG.ml
index 46d3316ef6..5a4871b70a 100644
--- a/ide/microPG.ml
+++ b/ide/microPG.ml
@@ -289,7 +289,6 @@ let pg = insert pg "Proof General" [mC,_c,"c"; mC,_a,"a"] [
   mkE _p "p" "Print" (Callback (fun gui -> command gui "Print"));
   mkE _c "c" "Check" (Callback (fun gui -> command gui "Check"));
   mkE _b "b" "About" (Callback (fun gui -> command gui "About"));
-  mkE _a "a" "Search About" (Callback (fun gui -> command gui "SearchAbout"));
   mkE _o "o" "Search Pattern" (Callback (fun gui->command gui "SearchPattern"));
   mkE _l "l" "Locate" (Callback (fun gui -> command gui "Locate"));
   mkE _Return "RET" "match template" (Action("Templates","match"));
-- 
cgit v1.2.3