From b9c06ced8e899854d06314b52d0182e123775afc Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Fri, 6 Jun 2014 17:23:03 +0000 Subject: * coq/coq-smie.el: Fix precedence of 'else'. --- coq/coq-smie.el | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'coq/coq-smie.el') 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 "