diff options
| author | Emilio Jesus Gallego Arias | 2017-02-05 01:02:39 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 10:27:18 +0100 |
| commit | 487e19a495b8727b0d3f11a8f0238d17aa9e9303 (patch) | |
| tree | 0264c9445cb98c3d418e003e615f43561eebdb91 /kernel/type_errors.mli | |
| parent | 138a4da7f0133d7b4ea06cfbc938d23ddb88c97d (diff) | |
[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-coq math-classes sf
- [TLC] [metacoq] not ready for 8.6 yet
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions