coq/coq — pull request #22 by JasonGross (2014-06-08 21:52:52+00:00)
Title: 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.