From 1bc3a7d5e5d6c4eff595667d36ba47ec1ad9bbbf Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Thu, 8 Nov 2001 22:47:29 +0000
Subject: added \<index> symbol;

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

(limited to 'isa')

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)
-- 
cgit v1.2.3