diff options
| author | David Aspinall | 2007-12-14 10:52:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 10:52:39 +0000 |
| commit | c2b44108df89ba871d691517324298d8d7095fa7 (patch) | |
| tree | f65eda55ca3296b1452063c377ae9f1a4d640bab /doc/ProofGeneral.texi | |
| parent | a273949edc75272520d5f71e0226482fba876fdc (diff) | |
Rename: proof-show-debug-messages -> proof-general-debug.
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index d5612b19..75e62950 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2865,8 +2865,8 @@ history that can be browsed without processing/undoing in the prover. The default value is @code{nil}. @end defopt -@c TEXI DOCSTRING MAGIC: proof-show-debug-messages -@defopt proof-show-debug-messages +@c TEXI DOCSTRING MAGIC: proof-general-debug +@defopt proof-general-debug Whether to display debugging messages in the response buffer.@* If non-nil, debugging messages are displayed in the response giving information about what Proof General is doing. |