HoTT/HoTT — pull request #527 by JasonGross (2014-09-26 13:31:18+00:00)
Title: Bump coq-scripts

This supports diffing to other commits via PREV_COMMIT