coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.	Maxime Dénès	2018-02-19
\|\
\| *	coqdev.el: wait for 'compile to touch compilation-error-regexp-alist	Gaëtan Gilbert	2018-02-13
\| *	coqdev.el: fix "compilate"-command typo	Gaëtan Gilbert	2018-02-13
\| *	coqdev.el: shell-quote-argument the directory for make -C	Gaëtan Gilbert	2018-02-13
\| *	coqdev.el: stop using when-let for emacs<25 compatibility.	Gaëtan Gilbert	2018-02-13
* \|	Merge PR #6565: [Backport script] Check .mli files are not changed.	Maxime Dénès	2018-02-12
\|\ \
\| \| *	Merge anomaly-traces-parser.el into coqdev.el.	Gaëtan Gilbert	2018-02-11
\| \| *	coqdev.el: add installation instructions.	Gaëtan Gilbert	2018-02-11
* \| \|	Use travis_retry on apt-get update	Jason Gross	2018-01-23
* \| \|	Merge PR #6568: Cleanup scripts	Maxime Dénès	2018-01-23
\|\ \ \
\| * \| \|	merge-pr.sh: use git diff --quiet	Gaëtan Gilbert	2018-01-16
\| * \| \|	Cleanup shell expansions and quoting.	Gaëtan Gilbert	2018-01-16
\| * \| \|	Simplify logic and streamline lint-repository.sh	Gaëtan Gilbert	2018-01-16
* \| \| \|	Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label	Maxime Dénès	2018-01-10
\|\ \ \ \
\| \| \| * \|	[Backport script] Check .mli files are not changed.	Théo Zimmermann	2018-01-09
\| \|_\|/ / \|/\| \| \|
\| * \| \|	github-check-prs.py: print PR URLs when needed.	Gaëtan Gilbert	2018-01-08
\| * \| \|	github-check-prs.py: Strip spaces from token from command line	Gaëtan Gilbert	2018-01-08
\| * \| \|	github-check-prs.py: command line option to get token from a file	Gaëtan Gilbert	2018-01-08
\| \| \| *	Remove dir-locals and ship suggested helper hooks instead.	Gaëtan Gilbert	2018-01-06
\| \| \|/
\| * \|	Expound on dependencies for github-check-prs.py	Gaëtan Gilbert	2017-12-30
\| * \|	Python script checking missing/unnecessary [needs: rebase] label	Gaëtan Gilbert	2017-12-30
\| \|/
* /	Update backport script for more control.	Théo Zimmermann	2017-12-24
\|/
*	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
*	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
*	Remove unused Makefiles in dev/tools/	Gaëtan Gilbert	2017-08-01
*	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
\|\
* \|	Removing an empty file detected by Luc Grateau.	Hugo Herbelin	2016-03-12
\| *	dev/tool/anomaly-traces-parser.el	Gabriel Scherer	2015-06-26
\|/
*	Remove obsolete script univdot, update dev doc about universes	glondu	2010-12-24
*	Updated COPYRIGHT file and header. Improved and fixed header updater.	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Reactivation des outils de developpement de Jacek	herbelin	2006-09-29
*	Fix broken paths.	msozeau	2006-05-29
*	Restructuration dossier dev et mise à jour de certaines documentations	herbelin	2006-05-23