From 123f667b9b8e2c37f13f3fc0f5176863f15dd5c5 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 2 Aug 2010 20:17:43 +0000
Subject: Fix for matching names in regexps, restores behaviour of name-aware
 code such as imenu.

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

(limited to 'isar/isar.el')

diff --git a/isar/isar.el b/isar/isar.el
index 9d493fb3..479e4c34 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -112,7 +112,7 @@ See -k option for Isabelle interface script."
    proof-save-command-regexp    isar-save-command-regexp
    proof-goal-command-regexp    isar-goal-command-regexp
    proof-goal-with-hole-regexp  isar-named-entity-regexp
-   proof-goal-with-hole-result	2
+   proof-goal-with-hole-result	isar-named-entity-name-match-number
    proof-save-with-hole-regexp  nil
    proof-script-imenu-generic-expression isar-generic-expression
    imenu-syntax-alist isar-script-syntax-table-alist
-- 
cgit v1.2.3