Remove (commented out) x-symbol configuration

1 files changed, 0 insertions, 19 deletions

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)