coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Don't set global variables from a hidden file. (!)	Matthieu Sozeau	2014-07-14
\|
*	emacs config: next-error search path ok even if default-directory unset.	courtieu	2013-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.	courtieu	2012-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 Courtieu	pboutill	2012-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 ↵	puech	2011-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