From e0d20929d314f6a94897e4974537a16c02d8f3bc Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 3 Jun 1998 18:03:10 +0000
Subject: Added '?'s before single characters in define-keys for emacs19, at
 Pascal Brisset's suggestion.

---
 coq.el   |  8 ++++++--
 lego.el  | 10 +++++++---
 proof.el |  8 ++++++--
 3 files changed, 19 insertions(+), 7 deletions(-)

diff --git a/coq.el b/coq.el
index 47de7fe6..dbd76525 100644
--- a/coq.el
+++ b/coq.el
@@ -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
diff --git a/lego.el b/lego.el
index 3618ac1a..301b1b87 100644
--- a/lego.el
+++ b/lego.el
@@ -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
   
diff --git a/proof.el b/proof.el
index 0f8434fa..3ca56a29 100644
--- a/proof.el
+++ b/proof.el
@@ -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)
-- 
cgit v1.2.3