branch: elpa/proof-general
commit 11dcebe247632f91c162392b4b7b3c37a9ded44a
Merge: 067bffa4bb 39f967e5ef
Author: Pierre Courtieu <mata...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>
Merge pull request #784 from Columbus240/CoqProject
Change _CoqProject separator settings
---
coq/coq-indent.el | 5 -----
coq/coq-system.el | 2 +-
2 files changed, 1 insertion(+), 6 deletions(-)
diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index e4f72c0367..b1e3e0425b 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -264,11 +264,6 @@ if found, to (point-max) otherwise. Return t if found,
nil otherwise."
(setq nbopen (- nbopen 1))))
(= nbopen 0))))
-(defun coq-looking-at-comment ()
- "Return non-nil if point is inside a comment."
- (or (proof-inside-comment (point))
- (proof-inside-comment (+ 1 (point)))))
-
(defun coq-find-comment-start ()
"Go to the current comment start.
If inside nested comments, go to the start of the outer most comment.
diff --git a/coq/coq-system.el b/coq/coq-system.el
index 28c9dce4f3..ad65cc4bc2 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -550,7 +550,7 @@ alreadyopen is t if buffer already existed."
(find-file-noselect projectfile t t))))
(list projectbuffer projectbufferalreadyopen))))))
-(defconst coq--project-file-separator "[\r\n[:space:]]+")
+(defconst coq--project-file-separator "[\r\t\n[:space:]]+")
(defconst coq--makefile-switch-arities
'(("-R" . 2)
