diff options
Diffstat (limited to 'isa/x-symbol-isabelle.el')
| -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'."))) |