HoTT/HoTT — pull request #142 by JasonGross (2013-07-07 16:21:20+00:00)
Title: Add a .dir-locals.el to theories subdirectories

This tells emacs to default to using the local hoqtop for editing the
files in theories. There might be a fancier way to only need one
.dir-locals.el, which uses paths relative to it, or uses absolute paths,
but I don't know enough elisp to or emacs to do it.