diff options
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)))) |