diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-04-28 13:56:51 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-04-28 13:58:37 +0200 |
| commit | 49162693b37a3bebc47cd6f667b2e7ebea209fc6 (patch) | |
| tree | eb3a22097961339805c4166a84e3bffc4b99a66f /ide | |
| parent | 2bcb2cb8ddadbaf2e5b6d4abbfdbdf3bc88cc4c6 (diff) | |
Fix broken commit 2bcb2cb.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.lang | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index 1cb95e535..1950b81a3 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -34,7 +34,7 @@ <define-regex id="locality">(((Local)|(Global))\%{space}+)?</define-regex> <define-regex id="begin_proof">(Theorem)|(Lemma)|(Fact)|(Remark)|(Corollary)|(Proposition)|(Property)</define-regex> <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)</define-regex> - <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal'Goal')</define-regex> + <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal2'Goal)</define-regex> <context id="escape-seq" style-ref="escape"> <match>""</match> @@ -81,6 +81,7 @@ <include> <context sub-pattern="id" where="start" style-ref="identifier"/> <context sub-pattern="gal" where="start" style-ref="gallina-keyword"/> + <context sub-pattern="gal2" where="start" style-ref="gallina-keyword"/> <context sub-pattern="id_list" where="start" style-ref="identifier"/> <context sub-pattern="gal4list" where="start" style-ref="gallina-keyword"/> <context id="constr-keyword" style-ref="constr-keyword"> |