diff options
| -rw-r--r-- | isa/isabelle-system.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index d0b2e581..d48de66e 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -375,6 +375,11 @@ until Proof General is restarted." (if (featurep 'completion) (proof-add-completions)))) +;; FIXME: next setting is made properly in x-symbol-isabelle.el, +;; but added here to avoid loading that file too early. + +(defvar x-symbol-isabelle-font-lock-keywords nil) + |