From 4a3d4d376b2cb7b879918a3b4818e624ec57c907 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 18:22:24 +0000
Subject: Set proof-goal-with-hole-result to account for use of shy grouping in
 goal-with-hole regexp.

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

diff --git a/isar/isar.el b/isar/isar.el
index c2897a81..5793fc78 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -140,6 +140,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 ; da
+   proof-goal-with-hole-result	1
    proof-save-with-hole-regexp  nil
    proof-script-next-entity-regexps isar-next-entity-regexps
 
-- 
cgit v1.2.3