From a273949edc75272520d5f71e0226482fba876fdc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 10:41:47 +0000
Subject: Rename: proof-show-debug-messages -> proof-general-debug.

---
 generic/pg-pgip.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

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 
-- 
cgit v1.2.3