diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-24 23:56:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-24 23:56:45 +0000 |
| commit | bf211c52fd8fa79c8733fdaf1a127564c33a9829 (patch) | |
| tree | de70dfa9cbb72c6d7381a70d74de8056e88e6e11 /phox | |
| parent | 92508191870320f68a714d0d1cb8282d3179a8af (diff) | |
Remove use of proof-ass
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox.el | 2 | ||||
| -rw-r--r-- | phox/x-symbol-phox.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/phox/phox.el b/phox/phox.el index 6edae61d..a26f0105 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -252,7 +252,7 @@ ;; internal completion table if completion is already active '(progn (defpgdefault completion-table - (append (proof-ass completion-table) + (append phox-completion-table (mapcar (lambda (xsym) (nth 2 xsym)) x-symbol-phox-table))) (setq proof-xsym-font-lock-keywords diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el index 7acd776f..8590dd23 100644 --- a/phox/x-symbol-phox.el +++ b/phox/x-symbol-phox.el @@ -183,7 +183,7 @@ See `x-symbol-language-access-alist' for details." ;; ;; this is MODE-ON CODING 8BITS UNIQUE SUBSCRIPTS IMAGE (defcustom x-symbol-phox-auto-style - '((proof-ass x-symbol-enable) ; MODE-ON: whether to turn on interactively + '(phox-x-symbol-enable ; MODE-ON: whether to turn on interactively nil ;; x-symbol-coding 'null ;; x-symbol-8bits [NEVER want it; null disables search] nil ;; x-symbol-unique |