From 9af3b0e0bca207591b8172bc859c529edeea32cf Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 2 Jul 1999 22:11:56 +0000
Subject: fixed some regexp via proof-anchor-regexp;

---
 isa/isa-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa')

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 1bf2775f..90e4f2ec 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -117,7 +117,7 @@
   "*Font-lock table for Isabelle terms.")
 
 (defconst isa-save-command-regexp
-  (concat "^" (proof-ids-to-regexp isa-keywords-save)))
+  (proof-anchor-regexp (proof-ids-to-regexp isa-keywords-save))))
 
 ;; CHECKED
 (defconst isa-save-with-hole-regexp
@@ -125,7 +125,7 @@
 	  "\\)\\s-+\"\\(" isa-id "\\)\"\\s-*;"))
 
 (defcustom isa-goal-command-regexp
-  (proof-ids-to-regexp isa-keywords-goal)
+  (proof-anchor-regexp (proof-ids-to-regexp isa-keywords-goal))
   "Regular expression used to match a goal."
   :type 'regexp
   :group 'isabelle-config)
-- 
cgit v1.2.3