diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 22:42:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 22:42:52 +0000 |
| commit | c5dc71bcd0d2a493fac920f521415190df91b0e5 (patch) | |
| tree | 8ecefd54c6e612a86eefcab75d134a4b2e03911f | |
| parent | 199ba6d46e56f62680c309725475b181e847b712 (diff) | |
Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing
| -rw-r--r-- | generic/proof-script.el | 9 |
1 files changed, 7 insertions, 2 deletions
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 |