From 8ba99b2013e0f62c9117fc79364630ff1fbec585 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 26 Apr 2006 22:31:52 +0000 Subject: Changed the type of proof-goal-command-p. It takes now a span, which allows using a span attribute to detect goal commands. I think I modified all modes accordingly. --- isar/isar.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'isar/isar.el') diff --git a/isar/isar.el b/isar/isar.el index 41871478..9bd0ef69 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -479,9 +479,10 @@ proof-shell-retract-files-regexp." -(defun isar-goal-command-p (str) +(defun isar-goal-command-p (span) "Decide whether argument is a goal or not" - (proof-string-match isar-goal-command-regexp str)) + (proof-string-match isar-goal-command-regexp + (or (span-property span 'cmd) ""))) (defun isar-global-save-command-p (span str) "Decide whether argument really is a global save command" -- cgit v1.2.3