diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |