diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-24 09:03:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-24 09:03:54 +0000 |
| commit | 59a70b62ebbd064fd797d8245b01c9ba7d92af07 (patch) | |
| tree | 29520e920364169f7ced583ad1f6cda55dfb535b /isa | |
| parent | 7a8fe1da30d114d34479226640af4c1ea690771c (diff) | |
Hack to avoid loading x-symbol-isabelle
Diffstat (limited to 'isa')
| -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) + |