diff options
| author | Jason Gross | 2014-06-08 17:49:25 -0400 |
|---|---|---|
| committer | Jason Gross | 2014-06-08 17:49:25 -0400 |
| commit | 4b3a9e1d393d5a937470be91c9e8bec2f359e5c2 (patch) | |
| tree | bdb481779dd158a8e9cf205338c23bae10b2f5e5 /kernel | |
| parent | 0dfaecc2de2306ff9674a4aa3e546d3123015169 (diff) | |
Mark some progress in the HoTT/coq test-suite
I've marked new failing commands that I'm confused about with "???"; I'm
not sure whether or not they should fail there, but we should keep the
test-suite compiling, probably.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions