diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-03-29 11:04:49 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-03-29 11:04:49 +0000 |
| commit | b29ff95882befb16f46eb4b077689ac1d939606a (patch) | |
| tree | c077b75a59bc8e9d61065e0c36400954afd50982 /coq | |
| parent | 06b70d642a2f2ff48eddf78298eeb2cf71f4f4eb (diff) | |
*** empty log message ***
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index eb1f2d3d..6e8a6aa4 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -785,7 +785,7 @@ Idtac (Nop) tactic, put the following line in your .emacs: "\\)\\s-+\\(" coq-ids "\\)\\s-*[:]")) (defconst coq-defn-with-hole-regexp (concat "\\(" (proof-ids-to-regexp coq-keywords-defn) - "\\)\\s-+\\(" coq-id "\\)\\s-*.")) + "\\)\\s-+\\(" coq-id "\\)\\s-*\\S-")) (defvar coq-font-lock-keywords-1 (append coq-font-lock-terms |