From c5dc71bcd0d2a493fac920f521415190df91b0e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 5 Feb 2003 22:42:52 +0000
Subject: Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq
 parsing

---
 generic/proof-script.el | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 8c5421c2..b6a539eb 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1601,11 +1601,16 @@ to the function which parses the script segment by segment."
     (let (foundend)
       ;; Find end of command
       (while (and (setq foundend 
-			(re-search-forward proof-script-command-end-regexp nil t))
+			(progn
+			  (and
+			   (re-search-forward proof-script-command-end-regexp nil t)
+			   (or (match-beginning 1) ;; optional start of white space
+			       (match-end 0)))))
 		  (proof-buffer-syntactic-context))
 	;; inside a string or comment before the command end
 	)
-      (if (and foundend 
+      (if (and foundend
+	       (goto-char foundend)	; move to command end
 	       (not (proof-buffer-syntactic-context)))
 	  ;; Found command end outside string/comment
 	  'cmd
-- 
cgit v1.2.3