From f487c716306913b2a02cde1bcfdcc12b81137c14 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 17 Jan 2017 10:57:40 -0500 Subject: Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106) --- coq/coq-syntax.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') 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") -- cgit v1.2.3