coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove the local polymorphic flag hack.	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
\| \|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \|	[api] Also deprecate constructors of Decl_kinds.	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
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6470: Fix typo in the refman.	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \	Merge PR #6449: Let definitions must not contain side-effects when reaching t...	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6468: Fix order of let-in representation comment.	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6471: Fix ltacprof_abstract (I think because of #6411 parallel merge).	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge PR #6234: Make the micromega extraction check a regular output test.	Maxime Dénès	2017-12-20
\|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| \| \| \| \| * \| \| \|	Fix warning about shadowing a global name.	Gaëtan Gilbert	2017-12-19
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Fix ltacprof_abstract (I think because of #6411 parallel merge).	Gaëtan Gilbert	2017-12-19
\| \|/ / / / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| * \| \| \| \| \| \| \| \|	Fix typo in the refman.	Théo Zimmermann	2017-12-19
\| \|_\|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \| \|	Let definitions do not create new universe constraints.	Pierre-Marie Pédrot	2017-12-19
* \| \| \| \| \| \| \| \| \| \| \|	Merge PR #6400: Circle CI	Maxime Dénès	2017-12-19
\|\ \ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| * \| \| \| \|	Specific type for section definition entries.	Pierre-Marie Pédrot	2017-12-19
\| \| \| \| \| \|_\|_\|/ / / / / \| \| \| \| \|/\| \| \| \| \| \| \|
\| \| \| * / \| \| \| \| \| \| \|	Fix order of let-in representation comment.	Jasper Hugunin	2017-12-19
\| \|_\|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \|	Gitlab: don't ./configure in documentation job	Gaëtan Gilbert	2017-12-18
\| \|_\|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge PR #6436: Fix #5368: Canonical structure unification fails.	Maxime Dénès	2017-12-18
\|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \	Merge PR #6447: [make] More build fixes for static plugins and ocamlfind.	Maxime Dénès	2017-12-18
\|\ \ \ \ \ \ \ \ \ \ \