From 9f683435bcdd0226a30bc18003099910c8fae9bc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 14:27:12 +0000
Subject: New file.

---
 etc/debugging-tips.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 etc/debugging-tips.txt

diff --git a/etc/debugging-tips.txt b/etc/debugging-tips.txt
new file mode 100644
index 00000000..a2650754
--- /dev/null
+++ b/etc/debugging-tips.txt
@@ -0,0 +1,10 @@
+Tips for Debugging Proof General   -- David Aspinall, Oct 1999.
+--------------------------------      
+
+Make these settings:
+
+  (setq proof-tidy-response nil)	; response buffer never clears
+  (setq proof-show-debug-messages t)    ; debug messages appear in response buffer
+
+And use the standard elisp package "edebug" to single-step at source
+level, and set breakpoints in code.
-- 
cgit v1.2.3