coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update the lower-bound of the lablgtk dependency.	Théo Zimmermann	2018-01-04
*	Merge PR #6493: [API] remove large file containing duplicate interfaces	Maxime Dénès	2017-12-29
\|\
* \	Merge PR #975: Create checklist for pull requests.	Maxime Dénès	2017-12-29
\|\ \
* \ \	Merge PR #6492: Remove query-in-IDE warning.	Maxime Dénès	2017-12-29
\|\ \ \
* \ \ \	Merge PR #6405: Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-29
\|\ \ \ \
* \ \ \ \	Merge PR #6433: [flags] Move global time flag into an attribute.	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
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	Remove query-in-IDE warning.	Maxime Dénès	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
\| \| \| * \|	Remove the local polymorphic flag hack.	Maxime Dénès	2017-12-27
\| \|_\|/ / \|/\| \| \|
\| * \| \|	Re-enable package building and artefact storage.	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
\|\ \ \ \
* \ \ \ \	Merge PR #6504: Fix overlay selection for Circle CI.	Maxime Dénès	2017-12-27
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #6439: [api] Also deprecate constructors of Decl_kinds.	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #6444: [lib] Split auxiliary libraries into Coq-specific and general.	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6443: [vernac] Cleanup of do_definition.	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6495: Remove syntax for classification in TACTIC EXTEND.	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6494: Remove legacy Value.normalize function.	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.ty...	Maxime Dénès	2017-12-27
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6473: Fix warning about shadowing a global name.	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
\| \|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| *	Create pull request template.	Théo Zimmermann	2017-12-24
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \|	[api] Also deprecate constructors of Decl_kinds.	Emilio Jesus Gallego Arias	2017-12-23
\| \|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| *	[flags] Move global time flag into an attribute.	Emilio Jesus Gallego Arias	2017-12-23
\| \|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \|	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
\| \|_\|_\|_\|_\|/ / / \|/\| \| \| \| \| \| \|
\| \| \| \| \| \| * \|	Registering a printing handler in coq_makefile.	Hugo Herbelin	2017-12-23
\| \| \| \| \| \| * \|	Forbidding -o and -f in input file of coq_makefile.	Hugo Herbelin	2017-12-23
\| \| \| \| \| \| * \|	Removing failure of coq_makefile on no arguments.	Hugo Herbelin	2017-12-23
* \| \| \| \| \| \| \|	Merge PR #6465: Gitlab touchup	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #6469: No universe constraints in Let definitions	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6318: Separate vernac controls and regular commands.	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| * \| \| \|	Remove syntax for classification in TACTIC EXTEND.	Maxime Dénès	2017-12-22
\| \|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \| \|	Remove legacy Value.normalize function.	Maxime Dénès	2017-12-22
\| \|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge PR #6484: Update README and CONTRIBUTING to mention the wiki and FAQ.	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \	Merge PR #6485: Fix badges.	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6445: [stm] [ide protocol] Allow to include several commands on query.	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6222: Share computation of unifiable evars	Maxime Dénès	2017-12-22
\|\ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| * \| \|	Merge code paths in interp_definition and cleanup a bit.	Gaëtan Gilbert	2017-12-21
\| \| \| * \| \| \| \| \| \| \| \| \|	Fix badges.	Théo Zimmermann	2017-12-21
\| \|_\|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \| \|	Update README and CONTRIBUTING to mention the wiki and FAQ.	Théo Zimmermann	2017-12-21
\| \|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Merge PR #6474: Fix CI with parallel make (messed up dependencies)	Maxime Dénès	2017-12-21
\|\ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \|	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 #6377: Removal of the FAQ LaTex document.	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \