HoTT/HoTT — pull request #306 by DanGrayson (2014-01-16 22:52:07+00:00)
Title: Fix dir locals

This pull request fixes the .dir-locals.el file so that it sets coq-prog-name just locally in the current buffer. Otherwise its value can spoil coq projects in other buffers visiting files in other directories that must be used with another version of coqtop.