From 4a1571975d281f536d6e7deaef4ae4016140e5b4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 14:25:50 +0000
Subject: More generic message to avoid confusion with Coq searching.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index fd0f4959..9d6be005 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2224,7 +2224,7 @@ This is intended as a value for proof-activate-scripting-hook"
 (proof-define-assistant-command-witharg proof-find-theorems
  "Search for items containing given constants."
  proof-find-theorems-command
- "Find theorems containing the constant(s)"
+ "Find theorems containing"
  (proof-shell-invisible-command arg))
 
 (proof-define-assistant-command-witharg proof-issue-goal
-- 
cgit v1.2.3