From 353217b0ec53f768db348a75b0faedc162bebcda Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 15 Apr 2004 13:57:48 +0000 Subject: added some tactical names for coq. --- coq/coq-syntax.el | 24 ++++++++++++++++++------ 1 file changed, 18 insertions(+), 6 deletions(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index d7684506..a06ebcc9 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -671,12 +671,24 @@ Idtac (Nop) tactic, put the following line in your .emacs: "All keywords in a Coq script.") (defvar coq-tacticals - '("Abstract" - "Do" - "Idtac" ; also in state-preserving-tactic - "Orelse" - "Repeat" - "Try") + (cond + (coq-version-is-V8 + '("abstract" + "do" + "idtac" ; also in state-preserving-tactic + "fail" + "orelse" + "repeat" + "try" + "Time")) + (t '("Abstract" + "Do" + "Idtac" ; also in state-preserving-tactic + "Fail" + "Orelse" + "Repeat" + "Try" + "Time"))) "Keywords for tacticals in a Coq script.") ; From JF Monin: -- cgit v1.2.3