diff options
| author | David Aspinall | 1999-11-14 10:10:35 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-14 10:10:35 +0000 |
| commit | 770b2a7bf3688ab2c1c475356054b2c1433b5496 (patch) | |
| tree | d63265b7441b0f371e4a06649360c10244215f6b /doc | |
| parent | 7b6cbefc4b2343309df594b9ce074d5981c62c4b (diff) | |
Fix to docstring magic (allow spaces after symbol).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index a9499495..074871be 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2886,8 +2886,11 @@ of this. See whether function menu does something sensible by default. @end defvar -@c TEXI DOCSTRING MAGIC: proof-goal-command-p +@c TEXI DOCSTRING MAGIC: proof-goal-command-p +@defvar proof-goal-command-p +Is this really a goal command? +@end defvar @c TEXI DOCSTRING MAGIC: proof-completed-proof-behaviour @defvar proof-completed-proof-behaviour Indicates how Proof General treats commands beyond the end of a proof.@* @@ -3919,8 +3922,8 @@ read. @c TEXI DOCSTRING MAGIC: proof-shell-proof-completed @defvar proof-shell-proof-completed Flag indicating that a completed proof has just been observed.@* -If non-nil, the value is actually the number of commands that have -been processed since the proof was completed. +If non-nil, the value counts the commands from the last command +of the proof (starting from 1). @end defvar The @file{proof.el} also loads @file{proof-config.el} which declares the |