diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2017-01-17 10:57:40 -0500 |
|---|---|---|
| committer |  Erik Martin-Dorel <erik@martin-dorel.org> | 2017-01-17 16:57:40 +0100 |
| commit | f487c716306913b2a02cde1bcfdcc12b81137c14 (patch) | |
| tree | 4a854686d2c51c9009b4203c2ba3ab63480d208a /coq/coq-syntax.el | |
| parent | 9dbf600b52f0e03e2eb30bcc5b4fee0f4222714d (diff) | |
Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 2f6104fe..5844be74 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -411,7 +411,9 @@ so for the following reasons: (defvar coq-decl-db '( ("Local Axiom" nil "Local Axiom # : #" t "Local\\s-+Axiom") + ("Local Axioms" nil "Local Axioms # , #: #" t "Local\\s-+Axioms") ("Axiom" "ax" "Axiom # : #" t "Axiom") + ("Axioms" "axs" "Axioms # , #: #" t "Axioms") ("Global Variable" "gv" "Global Variable #: #." t "Global\\s-+Variable") ("Global Variables" "gvs" "Global Variables # , #: #." t "Global\\s-+Variables") ("Hint Constructors" "hc" "Hint Constructors # : #." t "Hint\\s-+Constructors") @@ -427,7 +429,7 @@ so for the following reasons: ("Hypothesis" "hyp" "Hypothesis #: #" t "Hypothesis") ("Hypotheses" "hyp" "Hypotheses #: #" t "Hypotheses") ("Parameter" "par" "Parameter #: #" t "Parameter") - ("Parameters" "par" "Parameter #: #" t "Parameters") + ("Parameters" "par" "Parameters #: #" t "Parameters") ("Conjecture" "conj" "Conjecture #: #." t "Conjecture") ("Variable" "v" "Variable #: #." t "Variable") ("Variables" "vs" "Variables # , #: #." t "Variables") |