aboutsummaryrefslogtreecommitdiffhomepage
path: root/.dir-locals.el
Commit message (Collapse)AuthorAge
* emacs config: next-error search path ok even if default-directory unset.Gravatar courtieu2013-10-22
| | | | | | | | This way next-error behaves accordingly with make -C. Making the setting of default-directory independent of the compile/next-error setting. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16905 85f007b7-540e-0410-9357-904b9bb8a0f7
* Fixing emacs diff bug with .dir-locals.el.Gravatar courtieu2012-11-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15974 85f007b7-540e-0410-9357-904b9bb8a0f7
* the new .dir-locals.el thanks to Pierre CourtieuGravatar pboutill2012-10-23
| | | | | | | | | | | | As it says : Set default directory to coq root ONLY IF variable coq-project-find-file is non nil. This should remain a user preference and not be set by default. This setting is redundant with compile-command above as M-x compile always CD's to default directory. To enable it add this to your emacs config: (setq coq-project-find-file t) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15924 85f007b7-540e-0410-9357-904b9bb8a0f7
* Added .dir-locals file to take advantage of emacs 23's new Directory-local ↵Gravatar puech2011-08-01
variables. These variables are set whenever we open a file in the source tree. It sets: * the default directory where to launch compilation (the root directory) * the TAGS file location * the camldebug command git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14378 85f007b7-540e-0410-9357-904b9bb8a0f7