From 08e28bbd824d9f5f80b6a7c1fb32a9b43b99ce5b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 27 Oct 1999 16:03:43 +0000
Subject: updated;

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

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 9d350f84..e59be8d0 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1215,7 +1215,7 @@ Issues a command to the assistant based on @code{proof-info-command}.
 
 @c TEXI DOCSTRING MAGIC: proof-find-theorems
 @deffn Command proof-find-theorems arg
-Search for items containing a given constant.@*
+Search for items containing given constants.@*
 Issues a command based on @var{arg} to the assistant, using @code{proof-find-theorems-command}.
 The user is prompted for an argument.
 @end deffn
-- 
cgit v1.2.3