.dir-locals.el 59 Bytes
Newer Older
Zhen Zhang's avatar
Zhen Zhang committed
1
((coq-mode . ((coq-prog-name . "/usr/local/bin/coqtop"))))