coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Auto-create .git/hooks/pre-commit on ./configure	Jason Gross	2018-02-08
*	pre-commit hook: fix whitespace error detection	Gaëtan Gilbert	2018-02-08
*	A pre-commit hook to magically fix whitespace issues.	Gaëtan Gilbert	2018-02-08
*	Merge PR #6629: Archive COMPATIBILITY	Maxime Dénès	2018-01-23
\|\
* \	Merge PR #6568: Cleanup scripts	Maxime Dénès	2018-01-23
\|\ \
\| \| *	Archive COMPATIBILITY.	Théo Zimmermann	2018-01-22
* \| \|	Merge PR #6550: Remove outdated note about rlwrap in setup.txt	Maxime Dénès	2018-01-22
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	Merge PR #6448: Cleanup and add debug printers a bit	Maxime Dénès	2018-01-18
\|\ \ \
\| \| \| *	merge-pr.sh: use git diff --quiet	Gaëtan Gilbert	2018-01-16
\| \| \| *	Source basic overlay before user overlays.	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
* \| \| \|	Fix the wrapper around ocamldebug.	Pierre-Marie Pédrot	2018-01-15
* \| \| \|	Merge PR #6483: Strong invariants in polymorphic definitions	Maxime Dénès	2018-01-12
\|\ \ \ \
\| * \| \| \|	Adding a custom Travis overlay for HoTT.	Pierre-Marie Pédrot	2018-01-11
* \| \| \| \|	Merge PR #6557: First stab at documenting the test suite.	Maxime Dénès	2018-01-11
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label	Maxime Dénès	2018-01-10
\|\ \ \ \ \ \ \| \|_\|/ / / / \|/\| \| \| \| \|
\| \| \| \| \| *	Cleanup conditional in lint-repository.sh	Gaëtan Gilbert	2018-01-08
\| \| \| \| * \|	Stop talking about debian in "A note about rlwrap"	Gaëtan Gilbert	2018-01-08
\| \| \| \| \|/
* \| \| \| \|	Merge PR #6549: Normalize package names	Maxime Dénès	2018-01-08
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6527: Update backport script for more control.	Maxime Dénès	2018-01-08
\|\ \ \ \ \ \
\| \| \| * \| \| \|	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
* \| \| \| \| \| \|	Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...	Maxime Dénès	2018-01-08
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
\| \| \| \| \| * \|	First stab at documenting the test suite.	Jasper Hugunin	2018-01-06
\| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| \| \| * \| \|	Normalize MacOS installer name.	Théo Zimmermann	2018-01-04
\| \| \| * \| \|	Normalize Windows installer names.	Théo Zimmermann	2018-01-04
\| \|_\|/ / / \|/\| \| \| \|
\| \| \| * \|	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
\| * \| \| \|	Add instructions for debugging from the command line (and in Windows)	Jim Fehrle	2017-12-29
* \| \| \| \|	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\ \ \ \ \ \ \| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| \| * \| \| \|	overlay for #6493	Enrico Tassi	2017-12-27
\| \| * \| \| \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\| \|/ / / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6102: Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
\|\ \ \ \ \
\| \| * \| \| \|	Add equations overlay.	Maxime Dénès	2017-12-27
\| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès	2017-12-27
* \| \| \| \|	Merge PR #6507: [ide] [doc] Document tweak to Query call.	Maxime Dénès	2017-12-27
\|\ \ \ \ \
\| * \| \| \| \|	[ide] [doc] Document tweak to Query call.	Emilio Jesus Gallego Arias	2017-12-26
\| \| \|/ / / \| \|/\| \| \|
* \| \| \| \|	Fix overlay selection for Circle CI.	Gaëtan Gilbert	2017-12-26
* \| \| \| \|	Delete old overlays (leaving example)	Gaëtan Gilbert	2017-12-26
\|/ / / /
\| \| * /	Update backport script for more control.	Théo Zimmermann	2017-12-24
\| \|/ / \|/\| \|
\| \| *	Add printers to dev/db	Gaëtan Gilbert	2017-12-22
\| \| *	Reorder dev/db	Gaëtan Gilbert	2017-12-22
\| \| *	Cleanup top_printers.mli	Gaëtan Gilbert	2017-12-22
\| \| *	Cleanup debug printers a bit, add generated mli.	Gaëtan Gilbert	2017-12-22
* \| \|	Merge PR #6318: Separate vernac controls and regular commands.	Maxime Dénès	2017-12-22
\|\ \ \
* \| \| \|	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
\| * \| \|	Separate vernac controls and regular commands.	Maxime Dénès	2017-12-20
\|/ / /