diff options
| author | Pierre-Marie Pédrot | 2015-09-10 10:34:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-10 10:34:19 +0200 |
| commit | 2834cf72add1459d7460e3c1757e7352a1ff7466 (patch) | |
| tree | 86211e1a2d1178e85962d1128f974e4d9b340778 /kernel/type_errors.ml | |
| parent | 703e5b595a4a96dc9ff3df7ad10f90a238a061b6 (diff) | |
Extending the grammar for CoqIDE preferences so as to match trunk.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions