diff options
| -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) |