coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fix usage comment.	Théo Zimmermann	2017-11-29
\|
*	This script apparently uses bash-specific features.	Théo Zimmermann	2017-11-29
\|
*	Fix PR merge script.	Théo Zimmermann	2017-11-29
\| \| \| \|	Was still relying on the existence of user-configured /pr/.
*	Add PR backport script.	Théo Zimmermann	2017-11-28
\|
*	Add PR merge script.	Maxime Dénès	2017-11-28
\|
*	Linter: do not lint untracked files.	Gaëtan Gilbert	2017-11-23
\|
*	Disable whitespace linter for .out files.	Gaëtan Gilbert	2017-11-20
\|
*	Linter: check that files end with newlines.	Gaëtan Gilbert	2017-10-25
\| \| \| \|	We use git check-attr to look at the same files as git diff --check.
*	Remove unused Makefiles in dev/tools/	Gaëtan Gilbert	2017-08-01
\| \| \| \|	They seem unused since 8f4b7f1 (2007).
*	Put all plugins behind an "API".	Matej Kosik	2017-06-07
\|
*	Merge remote-tracking branch 'origin/pr/78' into trunk:	Maxime Dénès	2016-04-04
\|\ \| \| \| \| \| \| \| \|	An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs compilation output.
* \|	Removing an empty file detected by Luc Grateau.	Hugo Herbelin	2016-03-12
\| \|
\| *	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.
*	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
*	Updated COPYRIGHT file and header. Improved and fixed header updater.	herbelin	2010-07-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13322 85f007b7-540e-0410-9357-904b9bb8a0f7
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
\| \| \| \| \| \|	Applied it to fix mli file headers. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13176 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Reactivation des outils de developpement de Jacek	herbelin	2006-09-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9190 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix broken paths.	msozeau	2006-05-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8874 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