diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:14:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 14:14:02 +0000 |
commit | 68ffcc6cd4ea9c6053cafc6ca9a42ce78d954742 (patch) | |
tree | 354bf70ac55c1f7ac0995e7a877122583e13b957 /isar/isabelle-system.el | |
parent | 044f48d423f2f6e33b9cf068be6ef87219ad55db (diff) |
Move x-symbol-isabelle -> x-symbol-isar to simplify setup.
Diffstat (limited to 'isar/isabelle-system.el')
-rw-r--r-- | isar/isabelle-system.el | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 4c810f86..65953162 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -372,19 +372,16 @@ until Proof General is restarted." ;; X-Symbol language configuration, and adding to completion table ;; -(defpgdefault x-symbol-language 'isabelle) - - -(eval-after-load "x-symbol-isabelle" +(eval-after-load "x-symbol-isar" ;; Add x-symbol tokens to isa-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-isabelle-table))) + x-symbol-isar-table))) (setq proof-xsym-font-lock-keywords - x-symbol-isabelle-font-lock-keywords) + x-symbol-isar-font-lock-keywords) (if (featurep 'completion) (proof-add-completions)))) |