diff options
| author | David Aspinall | 2003-02-24 10:38:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 10:38:01 +0000 |
| commit | 3563de3849c59f7b97fc9406960629a7258c8a84 (patch) | |
| tree | 70beb3cbb61c80e9e24365cf9448d30fc3d3fa53 /isa | |
| parent | 031876435b4b287f17ff74dbbc4999c80b91161b (diff) | |
Fix some compile errors
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 5288f5aa..0fbb575c 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -175,6 +175,8 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'." ;;; Charsym Info ;;;=========================================================================== +;;; FIXME: da: attempting to compile these defcustoms gives error on +;;; !! Symbol's function definition is void ((x-symbol-set-cache-variable)) (defcustom x-symbol-isabelle-class-alist '((VALID "Isabelle Symbol" (x-symbol-info-face)) (INVALID "no Isabelle Symbol" (red x-symbol-info-face))) |