diff options
| author | Pierre-Marie Pédrot | 2015-08-17 21:41:17 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-08-17 21:47:33 +0200 |
| commit | 00f333fe7ae2e7bd4ced4be78d24737e62a7b369 (patch) | |
| tree | 9b5c57a8774cc26eb75cc243e6291e78ad9e270b | |
| parent | 8a22b549e61a1fc120b20a5b220764df6c49b3f8 (diff) | |
Highlighting of the "Next Obligation" command in CoqIDE.
| -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"/> |