diff options
author | 1998-06-03 18:03:10 +0000 | |
---|---|---|
committer | 1998-06-03 18:03:10 +0000 | |
commit | e0d20929d314f6a94897e4974537a16c02d8f3bc (patch) | |
tree | 09a573fb2cbc32b30876caf8cd71fa1feb6ff9fa | |
parent | cc0f80562346189d6bf8e98590f09474f74ba31e (diff) |
Added '?'s before single characters in define-keys for emacs19, at
Pascal Brisset's suggestion.
-rw-r--r-- | coq.el | 8 | ||||
-rw-r--r-- | lego.el | 10 | ||||
-rw-r--r-- | proof.el | 8 |
3 files changed, 19 insertions, 7 deletions
@@ -3,6 +3,10 @@ ;; Author: Healfdene Goguen and Thomas Kleymann ;; $Log$ +;; Revision 1.28 1998/06/03 18:02:54 hhg +;; Added '?'s before single characters in define-keys for emacs19, at +;; Pascal Brisset's suggestion. +;; ;; Revision 1.27 1998/06/03 13:57:10 hhg ;; Added definition of proof-commands-regexp for coq ;; @@ -448,8 +452,8 @@ (proof-config-done) - (define-key (current-local-map) [(control c) I] 'coq-Intros) - (define-key (current-local-map) [(control c) a] 'coq-Apply) + (define-key (current-local-map) [(control c) ?I] 'coq-Intros) + (define-key (current-local-map) [(control c) ?a] 'coq-Apply) (define-key (current-local-map) [(control c) (control s)] 'coq-Search) ;; outline @@ -5,6 +5,10 @@ ;; $Log$ +;; Revision 1.50 1998/06/03 18:03:02 hhg +;; Added '?'s before single characters in define-keys for emacs19, at +;; Pascal Brisset's suggestion. +;; ;; Revision 1.49 1998/06/02 15:34:58 hhg ;; Generalized proof-retract-target, now parameterized by ;; proof-count-undos and proof-find-and-forget. @@ -486,9 +490,9 @@ (proof-config-done) - (define-key (current-local-map) [(control c) i] 'lego-intros) - (define-key (current-local-map) [(control c) I] 'lego-Intros) - (define-key (current-local-map) [(control c) r] 'lego-Refine) + (define-key (current-local-map) [(control c) ?i] 'lego-intros) + (define-key (current-local-map) [(control c) ?I] 'lego-Intros) + (define-key (current-local-map) [(control c) ?r] 'lego-Refine) ;; outline @@ -9,6 +9,10 @@ ;; $Log$ +;; Revision 1.53 1998/06/03 18:03:10 hhg +;; Added '?'s before single characters in define-keys for emacs19, at +;; Pascal Brisset's suggestion. +;; ;; Revision 1.52 1998/06/03 17:34:04 hhg ;; Added (require 'cl) for emacs19. ;; @@ -1962,8 +1966,8 @@ current command." (setq indent-line-function 'proof-indent-line) (define-key (current-local-map) [(control c) (control p)] 'proof-prf) - (define-key (current-local-map) [(control c) c] 'proof-ctxt) - (define-key (current-local-map) [(control c) h] 'proof-help) + (define-key (current-local-map) [(control c) ?c] 'proof-ctxt) + (define-key (current-local-map) [(control c) ?h] 'proof-help) ;; For fontlock (remove-hook 'font-lock-after-fontify-buffer-hook 'proof-zap-commas-buffer t) |