From 0486bb2d44e7e6fd3385b7e7358d7c4512dbebeb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Jul 2002 17:03:04 +0000
Subject: Patch so works without x-symbol

---
 isa/x-symbol-isabelle.el | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 799d9616..762a5f8c 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -174,6 +174,13 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
 ;;;  Charsym Info
 ;;;===========================================================================
 
+;; FIXME: next line is a hack in case x-symbol-vars is not
+;; loaded: this is needed because isar forces
+;; a load x-symbol-isabelle even if x-symbol is not available
+;; (argh)
+(unless (fboundp 'x-symbol-set-cache-variable)
+  (defun x-symbol-set-cache-variable (var value) (set var value)))
+
 (defcustom x-symbol-isabelle-class-alist
   '((VALID "Isabelle Symbol" (x-symbol-info-face))
     (INVALID "no Isabelle Symbol" (red x-symbol-info-face)))
-- 
cgit v1.2.3