coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
*	[lib] Rename Profile to CProfile	Emilio Jesus Gallego Arias	2017-12-09
*	Merge PR #6158: Allows a level in the raw and glob printers	Maxime Dénès	2017-12-08
\|\
* \	Merge PR #6267: Fix PR merge script.	Maxime Dénès	2017-12-07
\|\ \
* \| \|	uninstall doc dir, not dev (which is not installed), #6007	Paul Steckler	2017-12-01
* \| \|	Merge PR #736: [ci] Test coqchk on the CompCert target.	Maxime Dénès	2017-12-01
\|\ \ \
* \ \ \	Merge PR #6244: [lib] [api] Introduce record for `object_prefix`	Maxime Dénès	2017-11-30
\|\ \ \ \
\| \| * \| \|	[ci] Test coqchk on the CompCert target.	Théo Zimmermann	2017-11-30
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge PR #6269: [ci] [vst] Shorten compilation time to avoid Travis timeouts.	Maxime Dénès	2017-11-30
\|\ \ \ \
\| \| \| * \|	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
\| \|_\|/ / \|/\| \| \|
\| \| * \|	[lib] [api] Introduce record for `object_prefix`	Emilio Jesus Gallego Arias	2017-11-29
* \| \| \|	Add PR backport script.	Théo Zimmermann	2017-11-28
\| * \| \|	[ci] [vst] Shorten compilation time to avoid Travis timeouts.	Emilio Jesus Gallego Arias	2017-11-28
\|/ / /
* \| \|	Merge PR #6259: Add PR merge script.	Maxime Dénès	2017-11-28
\|\ \ \
\| * \| \|	Add PR merge script.	Maxime Dénès	2017-11-28
\| \|/ /
* \| \|	Merge PR #1033: Universe binder improvements	Maxime Dénès	2017-11-28
\|\ \ \
* \ \ \	Merge PR #6248: [api] Remove aliases of `Evar.t`	Maxime Dénès	2017-11-28
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
\| \| \| *	Adding overlay for ltac2.	Hugo Herbelin	2017-11-27
* \| \| \|	Merge PR #6227: Linter: do not lint untracked files.	Maxime Dénès	2017-11-27
\|\ \ \ \ \| \|_\|_\|/ \|/\| \| \|
\| \| * \|	[api] Remove aliases of `Evar.t`	Emilio Jesus Gallego Arias	2017-11-26
\| \|/ / \|/\| \|
\| \| *	Overlay for stronger restrict_universe_context.	Gaëtan Gilbert	2017-11-25
\| \|/ \|/\|
* \|	Merge PR #876: In omega or romega, recognizing Z and nat modulo conversion	Maxime Dénès	2017-11-24
\|\ \
* \ \	Merge PR #6197: [plugin] Remove LocalityFixme über hack.	Maxime Dénès	2017-11-24
\|\ \ \
* \ \ \	Merge PR #6186: [api] Miscellaneous consolidation.	Maxime Dénès	2017-11-23
\|\ \ \ \
\| \| \| \| *	Linter: do not lint untracked files.	Gaëtan Gilbert	2017-11-23
\| \|_\|_\|/ \|/\| \| \|
\| \| \| *	Adding ad hoc overlay for sf/vfa.	Hugo Herbelin	2017-11-23
\| \|_\|/ \|/\| \|
* \| \|	Merge PR #6189: Disable whitespace linter for .out files.	Maxime Dénès	2017-11-23
\|\ \ \
\| \| \| *	[plugin] Remove LocalityFixme über hack.	Emilio Jesus Gallego Arias	2017-11-22
\| \|_\|/ \|/\| \|
\| \| *	[api] Miscellaneous consolidation + moves to engine.	Emilio Jesus Gallego Arias	2017-11-21
\| \|/ \|/\|
* \|	[printing] Deprecate all printing functions accessing the global proof.	Emilio Jesus Gallego Arias	2017-11-21
* \|	Merge PR #6185: [parser] Remove unnecessary statically initialized hook.	Maxime Dénès	2017-11-21
\|\ \
* \ \	Merge PR #6168: Add Equations to CI	Maxime Dénès	2017-11-21
\|\ \ \
\| \| \| *	Disable whitespace linter for .out files.	Gaëtan Gilbert	2017-11-20
* \| \| \|	Merge PR #6183: [plugins] Prepare plugin API for functional handling of state.	Maxime Dénès	2017-11-20
\|\ \ \ \
* \ \ \ \	Merge PR #6163: [dev] Remove deprecation warning from `base_include`	Maxime Dénès	2017-11-20
\|\ \ \ \ \ \| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| \| * \|	Add Equations to CI	Matthieu Sozeau	2017-11-20
\| \|_\|/ / \|/\| \| \|
\| \| \| *	[parser] Remove unnecessary statically initialized hook.	Emilio Jesus Gallego Arias	2017-11-19
\| \|_\|/ \|/\| \|
\| \| *	[plugins] Prepare plugin API for functional handling of state.	Emilio Jesus Gallego Arias	2017-11-19
\| \|/ \|/\|
* \|	Merge PR #6148: [api] Another large deprecation, `Nameops` and friends.	Maxime Dénès	2017-11-16
\|\ \
\| \| *	[dev] Remove deprecation warning from `base_include`	Emilio Jesus Gallego Arias	2017-11-15
\| \|/ \|/\|
\| *	[api] Another large deprecation, `Nameops`	Emilio Jesus Gallego Arias	2017-11-13
* \|	Change OCAMLRUNPARAM warning to mention OCaml 4.06	Paul Steckler	2017-11-13
\|/
*	Merge PR #6098: [api] Move structures deprecated in the API to the core.	Maxime Dénès	2017-11-13
\|\
* \	Merge PR #6126: Fix ci-bignums.sh "missing ]" error.	Maxime Dénès	2017-11-13
\|\ \
* \ \	Merge PR #6124: Adding a debugging printer for ident maps whose codomain type...	Maxime Dénès	2017-11-13
\|\ \ \
* \ \ \	Merge PR #6071: [ci] Add Ltac2	Maxime Dénès	2017-11-13
\|\ \ \ \
* \ \ \ \	Merge PR #6065: [api] Deprecate all legacy uses of Names in core.	Maxime Dénès	2017-11-13
\|\ \ \ \ \
\| \| \| \| * \|	Fix ci-bignums.sh "missing ]" error.	Gaëtan Gilbert	2017-11-09
\| \|_\|_\|/ / \|/\| \| \| \|