HoTT/HoTT — pull request #170 by JasonGross (2013-08-12 01:52:22+00:00)
Title: Mark which version of HoTT/coq we use

Mark this in .travis.yml, and note it in README.markdown, as described
by https://github.com/HoTT/HoTT/pull/166#issuecomment-22460613.