diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-02-01 17:44:47 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-02-01 17:44:47 +0000 |
commit | e17679ea6cb72df66e579ab28ea326b82a7f087a (patch) | |
tree | 123b0618389f0828b1a74f9219e10bc805d310dc /coq/coq-indent.el | |
parent | 44b61d48c71baade8dd260b538cc52a4309cfbe9 (diff) |
Quick fix of a regression introduced by my last commit. Looking for a
better fix.
Diffstat (limited to 'coq/coq-indent.el')
-rw-r--r-- | coq/coq-indent.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index a53d11e5..faaa5630 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -91,8 +91,9 @@ detect if they start something or not." ;; ". " and "... " are command endings, ".. " is not, same as in ;; proof-script-command-end-regexp in coq.el +;; bullets must be preceded by a space (defconst coq-end-command-regexp - "\\(?2:[^.]\\|\\.\\.\\)\\(?1:\\.\\)\\(?3:\\s-\\|\\'\\)\\|\\(?1:{\\)\\(?3:[^|]\\)\\|\\(?2:[^|]\\)\\(?1:}\\)\\|\\(?2:\\s-\\)\\(?:\\(?1:-\\)\\|\\(?1:+\\)\\|\\(?1:\\*\\)\\)" + "\\(?2:[^.]\\|\\.\\.\\)\\(?1:\\.\\)\\(?3:\\s-\\|\\'\\)\\|\\(?1:{\\)\\(?3:[^|]\\)\\|\\(?2:[^|]\\)\\(?1:}\\)\\|\\(?2:\\s-\\|\\=\\)\\(?:\\(?1:-\\)\\|\\(?1:+\\)\\|\\(?1:\\*\\)\\)" ; "\\(?2:[^.]\\|\\.\\.\\)\\(?1:\\.\\)\\(?3:\\s-\\|\\'\\)" "Regexp matching end of a command. There are 3 substrings: * number 1 is the real coq ending string, |