diff options
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 |