blob: a26507547500edf546c63c08ae8e91ed0c828fae (
plain)
1
2
3
4
5
6
7
8
9
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.
|
