coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.	Maxime Dénès	2018-02-19
\|\
\| *	Remove dir-locals and ship suggested helper hooks instead.	Gaëtan Gilbert	2018-01-06
\| \| \| \| \| \| \| \| \| \|	.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.
* \|	Add instructions for debugging from the command line (and in Windows)	Jim Fehrle	2017-12-29
\|/ \| \| \|	Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)
*	Remove unused Makefiles in dev/tools/	Gaëtan Gilbert	2017-08-01
\| \| \| \|	They seem unused since 8f4b7f1 (2007).
*	dev/tool/anomaly-traces-parser.el	Gabriel Scherer	2015-06-26
\| \| \| \| \|	An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs compilation output.
*	As many notation for for vectors as for List.	pboutill	2011-05-03
\| \| \| \| \| \|	Tiny doc of mli-doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14089 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Remove obsolete script univdot, update dev doc about universes	glondu	2010-12-24
\| \| \| \| \| \| \|	By the way, definitely remove "Dump Universes", which has been deprecated since 2006 (r9306). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13754 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTEND	herbelin	2006-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8857 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Restructuration dossier dev et mise à jour de certaines documentations	herbelin	2006-05-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Pour les développeurs extérieurs	herbelin	2001-12-19
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2339 85f007b7-540e-0410-9357-904b9bb8a0f7