diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-24 09:01:47 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-24 09:01:47 +0000 |
| commit | 3d32ff77071bd2449b69c9df86fde412a88c1b0c (patch) | |
| tree | 50c185a39ea202d0c0afd5abcf8d9e1e2c676f37 /coq/coq-syntax.el | |
| parent | bf6d14307f32b8c3067ba31294a723ca81e5a1ed (diff) | |
added some keywords
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) |