diff options
author | 2002-06-30 18:54:56 +0000 | |
---|---|---|
committer | 2002-06-30 18:54:56 +0000 | |
commit | 99a0804d5ed6c4c8ac069cc45ac64c1a7f602021 (patch) | |
tree | 9694c242e245a2d16fded52422ca4360e4c8f31a | |
parent | fe8717bff0f8373be3911bfd984478c8e34c23e5 (diff) |
Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes
-rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
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'."))) |