diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-17 16:17:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-17 16:17:31 +0000 |
| commit | 8465a954bceaaf378ec6bb61b2cf6f6738135bdd (patch) | |
| tree | d62a9a0a58a1ef711ad9beff2c24b54301adb5b3 | |
| parent | 23f05bb0f2722b2d871430ea2348a73a8b1ad3f8 (diff) | |
Tidy
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 977b5ccd..569865dd 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2450,7 +2450,7 @@ the current restriction, and must return the final value of (point-max). :group 'proof-general-internals) (defcustom proof-universal-keys - '(([(control c) ?`] . proof-next-error) ; ("`" . proof-next-error) + '(([(control c) ?`] . proof-next-error) ([(control c) (control c)] . proof-interrupt-process) ([(control c) (control n)] . proof-assert-next-command-interactive) ([(control c) (control u)] . proof-undo-last-successful-command) |