diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-23 16:49:45 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-23 16:49:45 +0000 |
| commit | 8d3c0c0b37e9d9b75d38d6f676c5bb7aaeb1d707 (patch) | |
| tree | 8ffbb277d6cc737e56b3d0d7aebe4ce63a2ba9a0 /coq/coq-syntax.el | |
| parent | af4904017b6ba7b5ff180e581a8379010b6b66d0 (diff) | |
Fixed lazymatch and multimatch indentation/highlighting.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index b817aafe..8c728284 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -225,10 +225,12 @@ so for the following reasons: ("inversion_clear" "invcl" "inversion_clear" t "inversion_clear") ("lapply" "lap" "lapply" t "lapply") ("lazy" "lazy" "lazy beta [#] delta iota zeta" t "lazy") + ("lazymatch with" "m" "lazymatch # with\n| # => #\nend") ("left" "left" "left" t "left") ("linear" "lin" "linear" t "linear") ("load" "load" "load" t "load") ("move after" "mov" "move # after #" t "move") + ("multimatch with" "m" "multimatch # with\n| # => #\nend") ("now_show" nil "now_show" t "now_show") ("omega" "o" "omega" t "omega") ("pattern" "pat" "pattern" t "pattern") @@ -875,6 +877,7 @@ It is used: coq-user-reserved-db '( "False" "True" "after" "as" "cofix" "fix" "forall" "fun" "match" + "lazymatch" "multimatch" "return" "struct" "else" "end" "if" "in" "into" "let" "then" "using" "with" "beta" "delta" "iota" "zeta" "after" "until" "at" "Sort" "Time" "dest" "where" |