From 863fcb84cf6400012dd7b6f8ba9218884dc82a3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 10:12:01 +0000
Subject: Add imenu support.

---
 isar/isar.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isar/isar.el b/isar/isar.el
index ca77550d..2983d481 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -146,6 +146,7 @@ See -k option for Isabelle interface script."
    proof-goal-with-hole-result	2
    proof-save-with-hole-regexp  nil
    proof-script-next-entity-regexps isar-next-entity-regexps
+   proof-script-imenu-generic-expression isar-generic-expression
 
    proof-indent-enclose-offset  (- proof-indent)
    proof-indent-open-offset     0
-- 
cgit v1.2.3