diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-11-30 09:39:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-11-30 09:39:25 +0000 |
| commit | d9990b6279d3b5ecc1a11ef732f51a511203e1bb (patch) | |
| tree | 524f686d875cc5ec76bba71252e051a5e70954ad | |
| parent | 92e82f41df384c3602ca4c4602e14762fa07c553 (diff) | |
Fixes
| -rw-r--r-- | etc/debugging-tips.txt | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/etc/debugging-tips.txt b/etc/debugging-tips.txt index 3b513146..0337df41 100644 --- a/etc/debugging-tips.txt +++ b/etc/debugging-tips.txt @@ -9,12 +9,15 @@ flag to find out where in the code it occurs, showing a stack trace: (setq debug-on-error t) ; debug on errors - (setq debugon-on-quit t) ; debug on CTRL-G for looping code + (setq debug-on-quit t) ; debug on CTRL-G for looping code You can make settings like this using M-x set-variable, or writing Lisp code as above in the *scratch* buffer, and typing C-x C-e to evaluate the expressions, or using M-x eval-expression (ESC-:). +On XEmacs you can also find the above settings under the +menu Options -> Troubleshooting. + Debugging start-up problems =========================== @@ -54,7 +57,7 @@ you are writing your own additions for Proof General. Load the source file <foo>.el, and locate the function you want to debug. Type - M-x debug-defun RET + M-x edebug-defun RET to instrument it for debugging. |