From 75deece9ee240e69d6720621885cbbfe1dd35800 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 14 Oct 2009 00:59:53 +0000
Subject: Remove function-menu setting

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index ba119531..7aedbe07 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -113,7 +113,6 @@ See -k option for Isabelle interface script."
    proof-goal-with-hole-regexp  isar-named-entity-regexp
    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
    imenu-syntax-alist isar-script-syntax-table-alist
 
-- 
cgit v1.2.3