coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	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
\| \|/ \|/\|
* \|	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
\|/ /
* \|	Merge PR #6400: Circle CI	Maxime Dénès	2017-12-19
\|\ \
* \ \	Merge PR #6305: Build with windows line endings	Maxime Dénès	2017-12-18
\|\ \ \
* \ \ \	Merge PR #6217: Do dependencies in 1 command per file class.	Maxime Dénès	2017-12-18
\|\ \ \ \
* \ \ \ \	Merge PR #6419: [vernac] Split `command.ml` into separate files.	Maxime Dénès	2017-12-18
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\ \ \ \ \ \
\| \| * \| \| \| \|	[vernac] Split `command.ml` into separate files.	Emilio Jesus Gallego Arias	2017-12-17
\| \|/ / / / /
\| \| \| * \| \|	Fix build file	Jim	2017-12-16
\| \| * \| \| \|	Overlay for unimath.	Gaëtan Gilbert	2017-12-15
* \| \| \| \| \|	Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`	Maxime Dénès	2017-12-15
\|\ \ \ \ \ \ \| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
\| \| * \| \| \|	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
\| \|/ / / /
* \| \| \| \|	Merge PR #6169: Clean up/deprecated options	Maxime Dénès	2017-12-14
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\ \ \ \ \ \
\| \| \| \| \| \| *	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
\| \| \| * \| \| \|	[econstr] Cleanup in `vernac/classes.ml`.	Emilio Jesus Gallego Arias	2017-12-13
\| \| \| \| \|/ / \| \| \| \|/\| \|
* \| \| / \| \|	Revert "[ci] Temporal workaround for checker non-backwards compatible change."	Théo Zimmermann	2017-12-12
\| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	Merge PR #6331: Linter: skip PRs older than the linter.	Maxime Dénès	2017-12-11
\|\ \ \ \ \ \| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	Add overlay.	Théo Zimmermann	2017-12-11
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #6368: [api] Remove yet another type alias.	Maxime Dénès	2017-12-11
\|\ \ \ \
* \ \ \ \	Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.	Maxime Dénès	2017-12-11
\|\ \ \ \ \