diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:23:03 +0000 |
|---|---|---|
| committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:23:03 +0000 |
| commit | b9c06ced8e899854d06314b52d0182e123775afc (patch) | |
| tree | 588fbaf256bcdcb8b8b7d889ed34538f8f7083f4 /coq/coq-smie.el | |
| parent | 1c0b0d32f95d7555943ab86a2de6666e39e84c13 (diff) | |
* coq/coq-smie.el: Fix precedence of 'else'.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index fd1284f8..f4153221 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -683,10 +683,11 @@ Lemma foo: forall n, (assoc ":=") (assoc "xxx provedby") (assoc "as morphism") (assoc "with signature") (assoc "with match") (assoc "in let") - (assoc "in eval") (assoc "=> fun") (assoc "then") (assoc "else") - (assoc ", quantif") + (assoc "in eval") (assoc "=> fun") (assoc "then") (assoc ", quantif") (assoc "; tactic") (assoc "in tactic") (assoc "as" "by") (assoc "with") - (assoc "|-") (assoc ":" ":<") (assoc ",") (assoc "->") (assoc "<->") + (assoc "|-") (assoc ":" ":<") (assoc ",") + (assoc "else") + (assoc "->") (assoc "<->") (assoc "&") (assoc "/\\") (assoc "\\/") (assoc "==") (assoc "=") (assoc "<" ">" "<=" ">=" "<>") (assoc "=?") (assoc "<=?") (assoc "<?") (assoc "^") |