From 452b2694c3092ec4e65250d4123f5967e0cb6229 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 30 Dec 1999 16:56:29 +0000
Subject: fixed isar-keywords-local-goal-regexp;

---
 isar/isar-syntax.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index f2e659d1..306b6b13 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -93,6 +93,10 @@
   (append isar-keywords-proof-asm
 	  isar-keywords-proof-asm-goal))
 
+(defconst isar-keywords-local-goal
+  (append isar-keywords-proof-goal
+	  isar-keywords-proof-asm-goal))
+
 (defconst isar-keywords-outline
   (append isar-keywords-theory-begin
 	  isar-keywords-theory-heading
@@ -142,7 +146,7 @@
   (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-theory-goal)))
 
 (defconst isar-local-goal-command-regexp
-  (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-proof-goal)))
+  (proof-anchor-regexp (proof-ids-to-regexp isar-keywords-local-goal)))
 
 (defconst isar-goal-with-hole-regexp
   (concat "\\(" (proof-ids-to-regexp isar-keywords-theory-goal) "\\)" isar-name-regexp ":")
-- 
cgit v1.2.3