From 59a70b62ebbd064fd797d8245b01c9ba7d92af07 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:03:54 +0000
Subject: Hack to avoid loading x-symbol-isabelle

---
 isa/isabelle-system.el | 5 +++++
 1 file changed, 5 insertions(+)

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)
+
 
 
 
-- 
cgit v1.2.3