Skip to content

Instantly share code, notes, and snippets.

@wires

wires/.dir-locals.el

Created November 13, 2011 22:10
Show Gist options
  • Save wires/1362808 to your computer and use it in GitHub Desktop.
Save wires/1362808 to your computer and use it in GitHub Desktop.
Download ZIP
.dir-locals for emacs/HoTT
Raw
.dir-locals.el
;; local settings for proof general
((coq-mode . (
(coq-prog-args . ("-emacs-U" "-R" "/home/wires/w/HoTT/Coq/" "\"\"")
(coq-prog-name . "/home/wires/opt/coq-trunk-14023-p_coqdoc/tags/V8.3pl1/bin/coqtop")
)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment