diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 17:03:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 17:03:04 +0000 |
| commit | 0486bb2d44e7e6fd3385b7e7358d7c4512dbebeb (patch) | |
| tree | 5c607c2153db3a3e1ce8c8cc767baebab354b8ff /isa | |
| parent | da16e3871d2360c4bfe8f15998cf5b6c432e8d11 (diff) | |
Patch so works without x-symbol
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 7 |
1 files changed, 7 insertions, 0 deletions
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))) |