HoTT/HoTT — pull request #414 by JasonGross (2014-07-22 15:24:50+00:00)
Title: Have travis cat the timing files

Because more information is generally better, and it doesn't cost much.