From 99a0804d5ed6c4c8ac069cc45ac64c1a7f602021 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 30 Jun 2002 18:54:56 +0000
Subject: Fix x-symbol-isabelle-input-token-grammar to remove spurious
 backslashes

---
 isa/x-symbol-isabelle.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 853d6619..2c834b9b 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -64,7 +64,7 @@ See `x-symbol-header-groups-alist'."
    :token-list #'x-symbol-isabelle-default-token-list))
 
 (defvar x-symbol-isabelle-input-token-grammar
-  '("\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z_][A-Za-z_0-9]+\\|[<>!+-*/|&]+\\)\\'"
+  '("\\(?:\\<[A-Za-z]+>\\|[A-Za-z_][A-Za-z_0-9]+\\|[<>!+-*/|&]+\\)\\'"
     (id . "[A-Za-z_0-9]") (op . "[<>!+-*/|&]"))
   "Grammar of input method Token for language `isabelle'.")))
 
-- 
cgit v1.2.3