Mercurial > cpdt > repo

comparison src/Large.v @ 397:d62ed7381a0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
396:def1a6b35ccd 397:d62ed7381a0b
850 '(coq-prog-args '("-R" "LIB" "Lib" "-R" "CLIENT" "Client")) 850 '(coq-prog-args '("-R" "LIB" "Lib" "-R" "CLIENT" "Client"))
851 ... 851 ...
852 ) 852 )
853 >> 853 >>
854 854
855 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. *) 855 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.
856
857 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>#%}%:
858
859 <<
860 ((coq-mode . ((coq-prog-args .
861 ("-emacs-U" "-R" "LIB" "Lib" "-R" "CLIENT" "Client")))))
862 >>
863 *)