From 8de05b130ecb7aa6cd16ac73ac069968297b3ebd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 Sep 2009 21:43:42 +0000 Subject: Remove (commented out) x-symbol configuration --- phox/phox.el | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'phox') diff --git a/phox/phox.el b/phox/phox.el index 79fe2b6d..8244edb7 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -235,25 +235,6 @@ (append phox-top-keywords phox-proof-keywords) ) -;;; -;;; X-Symbol -;;; - -(defpgdefault x-symbol-language 'phox) - -;; (eval-after-load "x-symbol-phox" -;; ;; Add x-symbol tokens to phox-completion-table and rebuild -;; ;; internal completion table if completion is already active -;; '(progn -;; (defpgdefault completion-table -;; (append (proof-ass completion-table) -;; (mapcar (lambda (xsym) (nth 2 xsym)) -;; x-symbol-phox-table))) -;; (setq proof-xsym-font-lock-keywords -;; x-symbol-phox-font-lock-keywords) -;; (if (featurep 'completion) -;; (proof-add-completions)))) - (provide 'phox) -- cgit v1.2.3