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 /kernel/nativecode.mli | |
| parent | 8a22b549e61a1fc120b20a5b220764df6c49b3f8 (diff) | |
Highlighting of the "Next Obligation" command in CoqIDE.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions