aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.lang
diff options
context:
space:
mode:
Diffstat (limited to 'ide/coq.lang')
-rw-r--r--ide/coq.lang11
1 files changed, 10 insertions, 1 deletions
diff --git a/ide/coq.lang b/ide/coq.lang
index 1950b81a3..656041d30 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -116,7 +116,7 @@
</include>
</context>
<context id="proof">
- <start>Proof</start>
+ <start>Proof(\%{dot_sep}|\%{space}+(using)|\%{space}+(with))</start>
<end>\%{end_proof}\%{dot_sep}</end>
<include>
<context sub-pattern="0" where="start" style-ref="vernac-keyword"/>
@@ -142,6 +142,15 @@
</context>
</include>
</context>
+ <context id="exact-proof">
+ <start>Proof</start>
+ <end>\%{dot_sep}</end>
+ <include>
+ <context sub-pattern="0" where="start" style-ref="vernac-keyword"/>
+ <context ref="constr-keyword"/>
+ <context ref="constr-sort"/>
+ </include>
+ </context>
<context id="undotted-sep" style-ref="vernac-keyword">
<match>\%{undotted_sep}</match>
</context>