diff options
| author | Makarius Wenzel | 1999-10-27 16:03:43 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-27 16:03:43 +0000 |
| commit | 08e28bbd824d9f5f80b6a7c1fb32a9b43b99ce5b (patch) | |
| tree | b0895fd317cacc4b0384ec431664be8bd1cd473f /doc | |
| parent | 3041a9ee6506e88ff0550f78e0eecaf812e5a8d4 (diff) | |
updated;
Diffstat (limited to 'doc')
| -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 |