HoTT/HoTT — pull request #329 by JasonGross (2014-02-27 23:44:14+00:00)
Title: Coq timing

This gives us time-annotated outputs a la http://ssr.msr-inria.inria.fr/~jenkins/annotated/. This closes #204.

Once travis finishes running on this, I plan to merge it, as it doesn't touch the core library.