Mercurial > cpdt > repo
diff src/Large.v @ 397:d62ed7381a0b
Instructions on directory-local Coq parameter specification, thanks to a tip from Thomas Braibant
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 06 May 2012 17:15:15 -0400 |
| parents | 7ece04e15446 |
| children | 05efde66559d |
line wrap: on
line diff
--- a/src/Large.v Sun Apr 22 16:27:46 2012 -0400 +++ b/src/Large.v Sun May 06 17:15:15 2012 -0400 @@ -852,4 +852,12 @@ ) >> - When working on multiple projects, it is useful to leave multiple versions of this setting in your %\texttt{%#<tt>#.emacs#</tt>#%}% file, commenting out all but one of them at any moment in time. To switch between projects, change the commenting structure and restart Emacs. *) + When working on multiple projects, it is useful to leave multiple versions of this setting in your %\texttt{%#<tt>#.emacs#</tt>#%}% file, commenting out all but one of them at any moment in time. To switch between projects, change the commenting structure and restart Emacs. + + Alternatively, we can revisit the directory-local settings approach and write the following into a file %\texttt{%#<tt>#.dir-locals.el#</tt>#%}% in %\texttt{%#<i>#CLIENT#</i>#%}%: + +<< +((coq-mode . ((coq-prog-args . + ("-emacs-U" "-R" "LIB" "Lib" "-R" "CLIENT" "Client"))))) +>> +*)