From b0a4527aa4bc4c7aed21964bdae0338200575b1b Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 25 Mar 1998 17:30:41 +0000
Subject: added support for etags at generic proof level

---
 proof.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'proof.el')

diff --git a/proof.el b/proof.el
index 30893c11..0fcde1a1 100644
--- a/proof.el
+++ b/proof.el
@@ -9,6 +9,9 @@
 
 
 ;; $Log$
+;; Revision 1.35  1998/03/25 17:30:28  tms
+;; added support for etags at generic proof level
+;;
 ;; Revision 1.34  1998/03/24 17:26:15  tms
 ;; *** empty log message ***
 ;;
@@ -1478,6 +1481,8 @@ current command."
 
 ;; keymap
 
+  (define-key proof-mode-map [(meta tab)] 'tag-complete-symbol)
+
   (define-key proof-mode-map
     (vconcat [(control c)] (vector proof-terminal-char))
     'proof-active-terminator-minor-mode)
-- 
cgit v1.2.3