From 2aa646d7a5a7d2387c036583abc93065e2cd807c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:21:23 +0000
Subject: Fixed a regexp.

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

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 135a1715..c00918dc 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -134,7 +134,7 @@
 	  "\\)\\s-+\"\\(" isa-id "\\)\"\\s-*;"))
 
 (defcustom isa-goal-command-regexp
-  (concat "^" (proof-ids-to-regexp isa-keywords-goal))
+  (proof-ids-to-regexp isa-keywords-goal)
   "Regular expression used to match a goal."
   :type 'regexp
   :group 'isabelle-config)
-- 
cgit v1.2.3