diff options
| author | Pierre Courtieu | 2007-04-23 09:27:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-04-23 09:27:27 +0000 |
| commit | 82c8181b685abbab220bc86097c5bd2f0b538840 (patch) | |
| tree | 238a9edb90c9cf0525bb1425db56de08204dbc5d /coq | |
| parent | 055cd8a24a969ce6e8ad58d85be7d7fffd2a643b (diff) | |
small coloring fix.
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 28f48ffd..84f28df3 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -220,7 +220,7 @@ so for the following reasons: ("refine" "ref" "refine" t "refine") ("reflexivity" "refl" "reflexivity #" t "reflexivity") ("rename into" "ren" "rename # into #" t "rename") - ("replace with" "rep" "replace # with #" t) + ("replace with" "rep" "replace # with #" t "replace") ("replace with in" "repi" "replace # with # in #" t) ("rewrite <- in" "ri<" "rewrite <- # in #" t) ("rewrite <-" "r<" "rewrite <- #" t) |