diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 15:31:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 15:31:21 +0000 |
commit | 5d103209fad354e288f03eb728263ef7150ed680 (patch) | |
tree | 0e5dd30dd950891bb4cafe96d090cc8c2239771a /generic | |
parent | e154c1151727bd20511aeb5a18ddbbb71d980ee6 (diff) |
Remove completion table adjustment fixed in X-Symol since Jun 01.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-x-symbol.el | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index ddc72524..b9fc3aee 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -14,7 +14,7 @@ ;; for particular proof assistants may be used elsewhere (e.g. in ;; document modes), without loading all of Proof General. ;; -;; proof-x-symbol.el,v 2.4 1999/08/23 18:38:40 da Exp +;; $Id$ ;; (defvar proof-x-symbol-initialized nil @@ -336,12 +336,6 @@ Assumes that the current buffer is the proof shell buffer." ; (x-symbol-encode)))) -;; Compatibility with completion package - -(put 'completion-separator-self-insert-command 'x-symbol-input t) -(put 'completion-separator-self-insert-autofilling 'x-symbol-input t) - - ;; ;; Try to initialize x-symbol-support on load-up if user has asked for it ;; |