diff options
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 19 |
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) |