diff options
| -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 ;; |