HoTT/HoTT — pull request #233 by JasonGross (2013-10-23 22:23:21+00:00)
Title: Update readme

We track Coq via git submodule, not .travis.yml