coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-01-06	Remove dir-locals and ship suggested helper hooks instead.	Gaëtan Gilbert
	.dir-locals led to issues with unsafe local variable warnings. With this method the user is opting in to running this code so there are no warnings.
2014-07-14	Don't set global variables from a hidden file. (!)	Matthieu Sozeau

2013-10-22	emacs config: next-error search path ok even if default-directory unset.	courtieu
	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
2012-11-15	Fixing emacs diff bug with .dir-locals.el.	courtieu
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15974 85f007b7-540e-0410-9357-904b9bb8a0f7
2012-10-23	the new .dir-locals.el thanks to Pierre Courtieu	pboutill
	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
2011-08-01	Added .dir-locals file to take advantage of emacs 23's new Directory-local ↵	puech
	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