From 96a4bbd4d51fdf065ceb983d47f4303b43b8eb08 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 21:45:02 +0000
Subject: Set proof-goal-with-hole-regexp

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

diff --git a/isar/isar.el b/isar/isar.el
index e5886cf3..cea556c6 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -122,7 +122,7 @@
    ;; script buffer.
    proof-save-command-regexp    isar-save-command-regexp
    proof-goal-command-regexp    isar-goal-command-regexp
-   proof-goal-with-hole-regexp  nil
+   proof-goal-with-hole-regexp  isar-named-entity-regexp ; da
    proof-save-with-hole-regexp  nil
    proof-script-next-entity-regexps isar-next-entity-regexps
 
-- 
cgit v1.2.3