diff options
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index f65cc426..c673bc0a 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -324,6 +324,7 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'." (hungarumlaut "\\<hungarumlaut>") (lozenge "\\<lozenge>") (smllozenge "\\<struct>") + (dotlessi "\\<index>") )) (defvar x-symbol-isabelle-user-table nil) |