1 | Index: coq/coq.el |
---|
2 | =================================================================== |
---|
3 | RCS file: /disk/cvs/proofgen/ProofGeneral/coq/coq.el,v |
---|
4 | retrieving revision 10.66 |
---|
5 | diff -c -r10.66 coq.el |
---|
6 | *** coq/coq.el 9 Sep 2010 17:12:14 -0000 10.66 |
---|
7 | --- coq/coq.el 26 Sep 2010 23:33:34 -0000 |
---|
8 | *************** |
---|
9 | *** 1204,1212 **** |
---|
10 | (define-key coq-keymap [(control ?t)] 'coq-insert-tactic) |
---|
11 | (define-key coq-keymap [(control ?T)] 'coq-insert-tactical) |
---|
12 | (define-key coq-keymap [(control ?r)] 'proof-store-response-win) |
---|
13 | ! (define-key coq-keymap [(control ?g)] 'proof-store-goals-win) |
---|
14 | |
---|
15 | ! (define-key coq-keymap [(control space)] 'coq-insert-term) |
---|
16 | (define-key coq-keymap [(control return)] 'coq-insert-command) |
---|
17 | |
---|
18 | |
---|
19 | --- 1204,1212 ---- |
---|
20 | (define-key coq-keymap [(control ?t)] 'coq-insert-tactic) |
---|
21 | (define-key coq-keymap [(control ?T)] 'coq-insert-tactical) |
---|
22 | (define-key coq-keymap [(control ?r)] 'proof-store-response-win) |
---|
23 | ! (define-key coq-keymap [(control ?G)] 'proof-store-goals-win) |
---|
24 | |
---|
25 | ! (define-key coq-keymap [(control ?\s)] 'coq-insert-term) |
---|
26 | (define-key coq-keymap [(control return)] 'coq-insert-command) |
---|
27 | |
---|
28 | |
---|
29 | *************** |
---|
30 | *** 1226,1232 **** |
---|
31 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?p)] 'coq-Print) |
---|
32 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?o)] 'coq-SearchIsos) |
---|
33 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?b)] 'coq-About) |
---|
34 | ! (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-searchabout) |
---|
35 | ; window auto-resize makes this bug sometimes. Too bad!. |
---|
36 | ;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-Check) |
---|
37 | |
---|
38 | --- 1226,1232 ---- |
---|
39 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?p)] 'coq-Print) |
---|
40 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?o)] 'coq-SearchIsos) |
---|
41 | (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?b)] 'coq-About) |
---|
42 | ! (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-SearchAbout) |
---|
43 | ; window auto-resize makes this bug sometimes. Too bad!. |
---|
44 | ;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-Check) |
---|
45 | |
---|