diff options
author | 2005-05-31 12:26:08 +0000 | |
---|---|---|
committer | 2005-05-31 12:26:08 +0000 | |
commit | 43d7136a12c81dd198f9c80874f4cff51d4a4b00 (patch) | |
tree | ce6a4e0feb0061ea8aa265c1b89ec2be1654ac1b /generic | |
parent | 27b4bef42033ee337e03229468942eec142dec70 (diff) |
Key bindings for proof-shell-exit, proof-shell-start.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index d4557aa8..fe53f61a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2625,7 +2625,8 @@ If this table is empty or needs adjusting, please make changes using ([(control c) (control u)] . proof-undo-last-successful-command) ([(control c) (control p)] . proof-prf) ([(control c) (control l)] . proof-layout-windows) - ([(control c) (control c)] . proof-interrupt-process) + ([(control c) (control x)] . proof-shell-exit) + ([(control c) (control s)] . proof-shell-start) ([(control c) (control v)] . proof-minibuffer-cmd) ([(control c) (control w)] . pg-response-clear-displays))) "List of key-bindings made for the script, goals and response buffer. |