diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-07-06 20:15:20 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-07-06 20:15:20 +0000 |
| commit | 01e99e72aacce3cd833cd2c484dd86e9b8e9223d (patch) | |
| tree | 33a57cf8f8e5358856b54190c03d7150ea3ba53c /coq | |
| parent | 89d0f618d8c1060d4b519c371ffde45653c9a35f (diff) | |
Fixing #474. & is now an declared operator. I need something better to
capture any operator and give it a (configurable?) precedence.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-smie-lexer.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/coq/coq-smie-lexer.el b/coq/coq-smie-lexer.el index 769ecce7..cf9c9878 100644 --- a/coq/coq-smie-lexer.el +++ b/coq/coq-smie-lexer.el @@ -608,7 +608,8 @@ Lemma foo: forall n, (exp "; tactic" exp) (exp "in tactic" exp) (exp "as" exp) (exp "by" exp) (exp "with" exp) (exp "|-" exp) (exp ":" exp) (exp ":<" exp) (exp "," exp) - (exp "->" exp) (exp "<->" exp) (exp "/\\" exp) (exp "\\/" exp) + (exp "->" exp) (exp "<->" exp) (exp "&" exp) + (exp "/\\" exp) (exp "\\/" exp) (exp "==" exp) (exp "=" exp) (exp "<>" exp) (exp "<=" exp) (exp "<" exp) (exp ">=" exp) (exp ">" exp) (exp "=?" exp) (exp "<=?" exp) (exp "<?" exp) @@ -671,7 +672,7 @@ Lemma foo: forall n, (assoc ", quantif") (assoc "; tactic") (assoc "in tactic") (assoc "as" "by") (assoc "with") (assoc "|-") (assoc ":" ":<") (assoc ",") (assoc "->") (assoc "<->") - (assoc "/\\") (assoc "\\/") + (assoc "&") (assoc "/\\") (assoc "\\/") (assoc "==") (assoc "=") (assoc "<" ">" "<=" ">=" "<>") (assoc "=?") (assoc "<=?") (assoc "<?") (assoc "^") (assoc "+") (assoc "-") (assoc "*") |