From 3d32ff77071bd2449b69c9df86fde412a88c1b0c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 24 Mar 2015 09:01:47 +0000
Subject: added some keywords

---
 coq/coq-syntax.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index bf9524cd..e58ecf60 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -328,6 +328,7 @@ so for the following reasons:
      ("fourier" "four" "fourier" t "fourier")
      ("fail" "fa" "fail" nil)
      ("field" "field" "field" t "field")
+     ("gfail" "fa" "gfail" nil)
      ("omega" "o" "omega" t "omega")
      ("reflexivity" "refl" "reflexivity #" t "reflexivity")
      ("ring" "ring" "ring #" t "ring")
@@ -373,6 +374,7 @@ so for the following reasons:
                                         ;    ("orelse" nil "orelse #" t "orelse")
      ("repeat" nil "repeat #" nil "repeat")
      ("try" nil "try #" nil "try")
+     ("tryif" "tryif" "tryif # then # else #" nil "tryif")
      ("progress" nil "progress #" nil "progress")
      ("|" nil "[ # | # ]" nil)
      ("||" nil "# || #" nil)
-- 
cgit v1.2.3