UnivalentMathematics/Foundations — pull request #8 by DanGrayson (2014-03-16 15:38:25+00:00)
Title: Pull 5

- remove makefiles in Foundations and RezkCompletion
- merge all .gitignore files into one at the top
- add a .dir-locals.el file to ./Packages/ that will set coq-prog-args appropriately
- my continued development of Ktheory