diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-11-08 22:47:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-11-08 22:47:29 +0000 |
| commit | 1bc3a7d5e5d6c4eff595667d36ba47ec1ad9bbbf (patch) | |
| tree | ba3214272c19f76319446f0777e5d75821430bd5 /isa | |
| parent | 160a50d195f2b37c5ed63411b8b680e4d2e5a633 (diff) | |
added \<index> symbol;
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) |