diff options
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
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) |