HoTT/HoTT — pull request #169 by JasonGross (2013-08-07 13:53:39+00:00)
Title: Point travis-ci at HoTT/coq trunk

Now that we've split off a 'stable' branch, I think it makes more sense
to test whether or not master builds with trunk, on the trunk branch.
We also still test against stable, but allow it to fail.