HoTT/HoTT — pull request #345 by DanGrayson (2014-03-23 06:32:01+00:00)
Title: udpate INSTALL.txt

with help for solving the Mac OS X problem involving the -fno-defer-pop
problem