diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 14b91bfb..d458de39 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -194,8 +194,10 @@ See `x-symbol-language-access-alist' for details." ;;;=========================================================================== (defvar x-symbol-isabelle-case-insensitive nil) +(defvar x-symbol-isabelle-token-shape nil) +(defvar x-symbol-isabelle-input-token-ignore nil) -;; FIXME: next one not needed in X-Symbol 4 +;; FIXME: next one not needed in X-Symbol 4, kept for back compat. (defvar x-symbol-isabelle-exec-specs '(nil ("\\`\\\\<[A-Za-z][A-Za-z0-9_']*>\\'" . "\\\\<[A-Za-z][A-Za-z0-9_']*>"))) |