diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:41:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 10:41:47 +0000 |
commit | a273949edc75272520d5f71e0226482fba876fdc (patch) | |
tree | a3381720de488f242a92e8e5d71fa61444800d80 /generic/pg-pgip.el | |
parent | bb325496a85032032b751977f294c26e9813b8e9 (diff) |
Rename: proof-show-debug-messages -> proof-general-debug.
Diffstat (limited to 'generic/pg-pgip.el')
-rw-r--r-- | generic/pg-pgip.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 8af6b0dc..4b1bbac6 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -13,8 +13,8 @@ ;; to process PGIP commands sent from the proof assistant ;; and to construct PGIP commands to send out. ;; -;; TESTING NOTES: turn on `proof-show-debug-messages' for -;; useful tracing messages: (setq proof-show-debug-messages t). +;; TESTING NOTES: turn on `proof-general-debug' for +;; useful tracing messages: (setq proof-general-debug t). ;; ;; TODO NEXT: ;; -- completion command for completion tables |