From da363a9788ff145ed9ec5e9de455d889935dafda Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Sat, 28 Jan 2006 14:25:04 +0000 Subject: typo in coq.el for regexp of sections. --- coq/coq.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coq/coq.el b/coq/coq.el index b22c1b91..d887fe28 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -179,11 +179,11 @@ To disable coqc being called (and use only make), set this to nil." (proof-ids-to-regexp coq-retractable-instruct)) (defvar coq-keywords-section - '("Section" "Module\\-+Type" "Declare\\s-+Module" "Module")) + '("Section" "Module\\s-+Type" "Declare\\s-+Module" "Module")) (defvar coq-section-regexp (concat "\\(" (proof-ids-to-regexp coq-keywords-section) "\\)") -; "\\(\\\\|\\\\-+\\\\|\\\\)" +; "\\(\\\\|\\\\s-+\\\\|\\\\)" ) ;; End of remove when coq > 8.0 -- cgit v1.2.3