HoTT/HoTT — pull request #464 by JasonGross (2014-09-06 06:27:41+00:00)
Title: Add coq-HoTT as a dependency for the .vo files

Some basic testing suggests that this will cause `make` to auto-re-coq
the .v files whenever you `git submodule update`, i.e., when it's
possible to tell that the version of Coq we're using has changed.