diff options
| author | Pierre-Marie Pédrot | 2018-07-25 11:59:56 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-07-26 11:27:25 +0200 |
| commit | 6625887dc2a5c67f7cb93435795129af2cfabb84 (patch) | |
| tree | e2b5047127151cbf92f69963e2826b2e8bedb22f /kernel | |
| parent | 10d27ae6a016962173b0cc0ed6d2618a674e57aa (diff) | |
Expose the diff printing option as an UI entry in CoqIDE.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions