HoTT/HoTT — pull request #214 by JasonGross (2013-09-24 08:43:32+00:00)
Title: Add some more symlinks to fix anomalies

This closes #201.