diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
| commit | b75bf02626b639bad8fe28796b7ee9163fd54323 (patch) | |
| tree | c56e1abd9fe17c143d32f95d63f10701c707ed3f /coq/coq-indent.el | |
| parent | a9660f46b64132dec0d0efc8ff4419ec8899558b (diff) | |
fixed indentation (lexing of 'with') + made local coq-load-path.
Diffstat (limited to 'coq/coq-indent.el')
| -rw-r--r-- | coq/coq-indent.el | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index fc229d6e..352931c0 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -327,6 +327,7 @@ command end regexp." (not (coq-empty-command-p))) nil) (and + (message "ICI") (goto-char foundend) (proof-buffer-syntactic-context)))) ;; go back as far as possible before the start of the current @@ -367,11 +368,8 @@ and return nil." (re-search-backward proof-script-command-end-regexp limit 'dummy) (match-beginning 1))) (setq next-pos (- (match-end 0) 1)) - (or (if (or (string-equal (match-string 1) "}") - (string-equal (match-string 1) "{") - (string-equal (match-string 1) "-") - (string-equal (match-string 1) "+") - (string-equal (match-string 1) "*")) + (or (if (not (or (string-equal (match-string 1) ".") + (string-equal (match-string 1) "..."))) (save-excursion (goto-char (match-beginning 1)) (not (coq-empty-command-p))) |