From c2b44108df89ba871d691517324298d8d7095fa7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Dec 2007 10:52:39 +0000 Subject: Rename: proof-show-debug-messages -> proof-general-debug. --- doc/PG-adapting.texi | 8 ++++---- doc/ProofGeneral.texi | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'doc') diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 0770c2b0..b7dbe86d 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1840,7 +1840,7 @@ A good markup for the second string is to delimit with #'s, since these are not valid syntax for elisp evaluation. Elisp errors will be trapped when evaluating; set -@code{proof-show-debug-messages} to be informed when this happens. +@code{proof-general-debug} to be informed when this happens. Example uses are to adjust PG's internal copies of proof assistant's settings, or to make automatic dynamic syntax adjustments in Emacs to @@ -3737,10 +3737,10 @@ by the filter is to send the next command from the queue. @c links to helpful docs. To debug Proof General, it may be helpful to set the -configuration variable @code{proof-show-debug-messages}. +configuration variable @code{proof-general-debug}. -@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. 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. -- cgit v1.2.3