diff options
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 34 |
1 files changed, 25 insertions, 9 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 80e0cdb1..eb1f2d3d 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -679,30 +679,46 @@ Idtac (Nop) tactic, put the following line in your .emacs: "Try") "Keywords for tacticals in a Coq script.") -(defvar coq-reserved +; From JF Monin: +(defvar coq-reserved-common '("as" - "ALL" "True" "False" - "Cases" - "match" - "EX" "else" "end" - "Fix" - "forall" - "fun" "if" "in" "into" "let" - "of" "then" "using" "with" "after") "Reserved keywords of Coq.") +(defvar coq-reserved-V8 + '( + "cofix" + "fix" + "struct" + "match" + "forall" + "fun" + )) + +(defvar coq-reserved-V7 + '( + "ALL" "Cases" "EX" "Fix" "of" "CoFix" + )) + +(defvar coq-reserved + (cond + (coq-version-is-V8 + (append coq-reserved-common coq-reserved-V8)) + (t + (append coq-reserved-common coq-reserved-V7)))) + + (defvar coq-symbols '("|" ":" |