diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 17:08:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 17:08:58 +0000 |
| commit | 16ea2ed4c4283d23447545e50a2f93ba22225dbe (patch) | |
| tree | 6a868ca240b5aeebc183caa53152474751187522 /coq | |
| parent | 5c58f544019e666aafc574a4f543a3baa87d6ad3 (diff) | |
Fix typo.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index a06ebcc9..39af0890 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -839,7 +839,7 @@ Idtac (Nop) tactic, put the following line in your .emacs: (modify-syntax-entry ?\' "w") (modify-syntax-entry ?\| ".") -; should baybe be "_" but it makes coq-find-and-forget (in coq.el) bug +; should maybe be "_" but it makes coq-find-and-forget (in coq.el) bug (modify-syntax-entry ?\. ".") (condition-case nil @@ -853,10 +853,10 @@ Idtac (Nop) tactic, put the following line in your .emacs: (defconst coq-generic-expression (mapcar (lambda (kw) - (list (capitalize kw) - (concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" ) - 1)) - (append coq-keywords-decl coq-keywords-defn coq-keywords-goal))) + (list (capitalize kw) + (concat "\\<" kw "\\>" "\\s-+\\(\\w+\\)\\W" ) + 1)) + (append coq-keywords-decl coq-keywords-defn coq-keywords-goal))) (provide 'coq-syntax) |