diff options
| author | Pierre-Marie Pédrot | 2015-08-22 16:21:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-08-22 16:21:07 +0200 |
| commit | 2903ee1394118106f1894798f82dc5cf3730675b (patch) | |
| tree | 76a29b8da20b51b48c6a73516a6ae9c107f57afc /ide | |
| parent | 4c202177e7d1a26f3b8bc105a1ceb604f178b584 (diff) | |
| parent | 081a649157d2460c924404cd51b4ba50c23b1956 (diff) | |
Merge branch 'v8.5'
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.lang | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index 89f93a705e..e25eedbca9 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -122,7 +122,7 @@ </context> <context id="proof"> - <start>Proof(\%{dot_sep}|\%{space}using|\%{space}with)</start> + <start>(Proof(\%{dot_sep}|\%{space}using|\%{space}with))|Next Obligation</start> <end>\%{end_proof}\%{dot_sep}</end> <include> <context sub-pattern="0" where="start" style-ref="vernac-keyword"/> |