coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Change QuestionMark for better record field missing error message.	Siddharth Bhat	2018-07-17
*	Merge PR #8069: Only check overlay extensions on git-tracked files	Gaëtan Gilbert	2018-07-16
\|\
\| *	Only check overlay extensions on git-tracked files	Jason Gross	2018-07-16
\|/
*	Merge PR #8023: Introduce a team of code owners for the CI system.	Maxime Dénès	2018-07-16
\|\
* \	Merge PR #8066: [ltac] Remove unused functions.	Pierre-Marie Pédrot	2018-07-16
\|\ \
\| * \|	[ltac] Remove unused functions / constructors.	Emilio Jesus Gallego Arias	2018-07-14
\|/ /
* \|	Merge PR #8057: Fixed typos, wording and grammar errors in the Preamble of th...	Théo Zimmermann	2018-07-13
\|\ \
* \ \	Merge PR #6930: Make -warn-error fail on warnings emitted by coqc on stdlib.	Emilio Jesus Gallego Arias	2018-07-13
\|\ \ \
\| * \| \|	Make -warn-error fail on warnings emitted by coqc on stdlib.	Maxime Dénès	2018-07-13
\|/ / /
\| * \|	Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...	Zeimer	2018-07-12
* \| \|	Merge PR #8041: [ci] Remove warning jobs in favor of default `-warn-error yes`	Gaëtan Gilbert	2018-07-12
\|\ \ \
* \ \ \	Merge PR #7907: Tactic deprecation machinery	Pierre-Marie Pédrot	2018-07-12
\|\ \ \ \ \| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #8051: Clean-up user-overlays folder.	Emilio Jesus Gallego Arias	2018-07-12
\|\ \ \ \
\| * \| \| \|	Clean-up user-overlays folder.	Théo Zimmermann	2018-07-12
\| \| \| * \|	[warnings] Disable warning 58 "no cmx file was found in path"	Emilio Jesus Gallego Arias	2018-07-12
\| \| \| * \|	[warnings] Disable warning 59 [assignment to a non-mutable value] to make fla...	Emilio Jesus Gallego Arias	2018-07-12
\| \| \| * \|	[ci] Remove warning jobs in favor of default `-warn-error yes`	Emilio Jesus Gallego Arias	2018-07-12
\| \|_\|/ / \|/\| \| \|
* \| \| \|	Merge PR #7871: [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Gaëtan Gilbert	2018-07-12
\|\ \ \ \ \| \|/ / / \|/\| \| \|
\| \| * \|	Tactic deprecation machinery	Maxime Dénès	2018-07-12
\| \|/ / \|/\| \|
\| * \|	[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Emilio Jesus Gallego Arias	2018-07-11
\|/ /
* \|	Merge PR #7998: [coqpp] Move to its own directory.	Pierre-Marie Pédrot	2018-07-11
\|\ \
* \ \	Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in th...	Théo Zimmermann	2018-07-11
\|\ \ \
* \ \ \	Merge PR #8021: Get rid of horrendous hack limiting the size of parsed integers	Pierre-Marie Pédrot	2018-07-11
\|\ \ \ \
* \ \ \ \	Merge PR #8002: make-both-single-timing-files: fix --sort-by=diff	Jason Gross	2018-07-11
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7898: Remove camlp4 remains	Emilio Jesus Gallego Arias	2018-07-11
\|\ \ \ \ \ \
\| \| \| \| \| * \|	[coqpp] Move to its own directory.	Emilio Jesus Gallego Arias	2018-07-11
\| \|_\|_\|_\|/ / \|/\| \| \| \| \|
* \| \| \| \| \|	Merge PR #7984: Compile `coqpp` inside the `bin/` folder and make it availabl...	Emilio Jesus Gallego Arias	2018-07-11
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #8031: Remove auto-retry in GitLab CI now that @coqbot is handling it.	Emilio Jesus Gallego Arias	2018-07-11
\|\ \ \ \ \ \ \
\| \| * \| \| \| \| \|	Compile coqpp inside the bin/ folder and make it available after installation.	Pierre-Marie Pédrot	2018-07-10
\| \|/ / / / / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #8036: [travis] Remove even more jobs.	Emilio Jesus Gallego Arias	2018-07-10
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #8034: [travis] Try to workaround the repeated APT failures by using...	Emilio Jesus Gallego Arias	2018-07-10
\|\ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \|	[travis] Remove even more jobs.	Théo Zimmermann	2018-07-10
\| \|/ / / / / / / \|/\| \| \| \| \| \| \|
\| \| \| \| \| \| * \|	fixed typo for assert_suceed	charguer	2018-07-10
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
\| * \| \| \| \| \|	[travis] Try to workaround the repeated APT failures by using Jason Gross's s...	Théo Zimmermann	2018-07-10
\|/ / / / / /
\| * / / / /	Remove auto-retry in GitLab CI now that @coqbot is handling it.	Théo Zimmermann	2018-07-10
\|/ / / / /
* \| \| \| \|	Merge PR #7899: My recent improvements to the backport script.	Maxime Dénès	2018-07-10
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7983: Turn a dead branch into an assertion failure in VM reification.	Maxime Dénès	2018-07-10
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #8028: Fix a few typos	Théo Zimmermann	2018-07-10
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #8025: Fix rst syntax for `quote ident {ident}`	Théo Zimmermann	2018-07-10
\|\ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \|	Add new options --no-conflict and --no-signature-check to backport script.	Théo Zimmermann	2018-07-10
\| \|_\|_\|/ / / / / \|/\| \| \| \| \| \| \|
\| \| * \| \| \| \| \|	Fix typo in doc/proof-engine/tactics.rst.	whitequark	2018-07-10
\| \| * \| \| \| \| \|	Fix typo in Init.Logic.	whitequark	2018-07-10
\| \|/ / / / / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7920: Generic syntax for attributes	Maxime Dénès	2018-07-09
\|\ \ \ \ \ \ \
\| \| * \| \| \| \| \|	Fix rst syntax for `quote ident {ident}`	Joachim Breitner	2018-07-09
\| \|/ / / / / / \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument.	Matthieu Sozeau	2018-07-09
\|\ \ \ \ \ \ \
\| \| \| \| \| \| \| *	Introduce a team of code owners for the CI system.	Théo Zimmermann	2018-07-09
\| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #8015: Output UTF-8 explicitly in timing tools	Jason Gross	2018-07-08
\|\ \ \ \ \ \ \
\| \| \| \| \| \| \| *	Get rid of horrendous hack limiting the size of parsed integers	Maxime Dénès	2018-07-08
\| \|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \|
* \| \| \| \| \| \|	Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz...	Maxime Dénès	2018-07-08
\|\ \ \ \ \ \ \
* \ \ \ \ \ \ \	Merge PR #8020: Modify URLs in xml-protocol.md	Théo Zimmermann	2018-07-08
\|\ \ \ \ \ \ \ \