diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 20:13:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 20:13:49 +0000 |
commit | 9f942b1ea6ad239e93a33fb4d4cc7161a551592b (patch) | |
tree | f428c4f53cd112e7e975116073b8fd7f6015ab6e /isa | |
parent | 5b97db5ff9c8666dbd3efb4f488052c4b72669f3 (diff) |
Nuke X-sym warnings
Diffstat (limited to 'isa')
-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_']*>"))) |