From 9f942b1ea6ad239e93a33fb4d4cc7161a551592b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 20:13:49 +0000
Subject: Nuke X-sym warnings

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

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_']*>")))
-- 
cgit v1.2.3