From 43d7136a12c81dd198f9c80874f4cff51d4a4b00 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 31 May 2005 12:26:08 +0000
Subject: Key bindings for proof-shell-exit, proof-shell-start.

---
 generic/proof-config.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

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. 
-- 
cgit v1.2.3