coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Patterns: Accepting patterns in PFix and PCofix and not only constr.	Hugo Herbelin	2018-03-28
*	Adding Array.fold_left4.	Hugo Herbelin	2018-03-28
*	Detyping: Adding a variant of share_names for patterns.	Hugo Herbelin	2018-03-28
*	Detyping: Making detype_fix/detype_cofix polymorphic combinator (step 1).	Hugo Herbelin	2018-03-28
*	Patternops: renaming an internal function to more closely match its effect.	Hugo Herbelin	2018-03-28
*	Glob_ops: cosmetic renaming to reflect the type of objects.	Hugo Herbelin	2018-03-28
*	Merge PR #7046: Switch maintainers for documentation	Théo Zimmermann	2018-03-23
\|\
* \	Merge PR #7018: Fix typo in CHANGES.	Maxime Dénès	2018-03-23
\|\ \
* \ \	Merge PR #7029: improve merge-pr script	Maxime Dénès	2018-03-23
\|\ \ \
\| * \| \|	improve merge-pr script	Enrico Tassi	2018-03-23
* \| \| \|	Merge PR #7052: More precise wording about the merge process.	Théo Zimmermann	2018-03-23
\|\ \ \ \
\| * \| \| \|	More precise wording about the merge process.	Maxime Dénès	2018-03-23
* \| \| \| \|	Merge PR #7028: Fix #7026: ssr: applying an overloaded lemma as a view takes ...	Enrico Tassi	2018-03-23
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #6968: [stm] Never consider `Backtrack` as part of the script.	Enrico Tassi	2018-03-23
\|\ \ \ \ \ \
* \ \ \ \ \ \	Merge PR #7025: Coq makefile: provide variables to extend the flags passed to...	Enrico Tassi	2018-03-23
\|\ \ \ \ \ \ \
\| * \| \| \| \| \| \|	update CHANGES	Enrico Tassi	2018-03-23
* \| \| \| \| \| \| \|	Merge PR #7030: [default.nix] Add dependencies of the merging script.	Vincent Laporte	2018-03-23
\|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \	Merge PR #7031: Owners for developer tools	Théo Zimmermann	2018-03-22
\|\ \ \ \ \ \ \ \ \ \| \|_\|_\|_\|_\|/ / / / \|/\| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \|	Owners for developer tools	Maxime Dénès	2018-03-22
\|/ / / / / / / /
* \| \| \| \| \| \| \|	Merge pull request #7040 from maximedenes/sphinx-doc-chapter-22	Guillaume Melquiond	2018-03-22
\|\ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \	Merge branch 'master' into sphinx-doc-chapter-22	Guillaume Melquiond	2018-03-22
\| \|\ \ \ \ \ \ \ \ \| \|/ / / / / / / / \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \|	Merge pull request #7039 from maximedenes/sphinx-doc-chapter-21	Guillaume Melquiond	2018-03-22
\|\ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \	Merge branch 'master' into sphinx-doc-chapter-21	Guillaume Melquiond	2018-03-22
\| \|\ \ \ \ \ \ \ \ \ \| \|/ / / / / / / / / \|/\| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	Merge pull request #7038 from maximedenes/sphinx-doc-chapter-19	Guillaume Melquiond	2018-03-22
\|\ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \	Merge branch 'master' into sphinx-doc-chapter-19	Guillaume Melquiond	2018-03-22
\| \|\ \ \ \ \ \ \ \ \ \ \| \|/ / / / / / / / / / \|/\| \| \| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \| \|	Merge pull request #7036 from maximedenes/sphinx-doc-chapter-17	Guillaume Melquiond	2018-03-22
\|\ \ \ \ \ \ \ \ \ \ \
\| \| \| \| \| \| \| \| \| \| \| *	Switch maintainers for documentation	Maxime Dénès	2018-03-22
\| \|_\|_\|_\|_\|_\|_\|_\|_\|_\|/ \|/\| \| \| \| \| \| \| \| \| \|
\| \| \| \| * \| \| \| \| \| \|	[Sphinx] Add chapter 22	Maxime Dénès	2018-03-22
\| \| \| \| * \| \| \| \| \| \|	[Sphinx] Move chapter 22 to new infrastructure	Maxime Dénès	2018-03-22
\| \|_\|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \|	[Sphinx] Add chapter 21	Maxime Dénès	2018-03-22
\| \| \| * \| \| \| \| \| \|	[Sphinx] Move chapter 21 to new infrastructure	Maxime Dénès	2018-03-22
\| \|_\|/ / / / / / / \|/\| \| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \|	[Sphinx] Add chapter 19	Maxime Dénès	2018-03-22
\| \| * \| \| \| \| \| \|	[Sphinx] Move chapter 19 to new infrastructure	Maxime Dénès	2018-03-22
\| \|/ / / / / / / \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \|	[Sphinx] Add chapter 17	Maxime Dénès	2018-03-22
\| * \| \| \| \| \| \|	[Sphinx] Move chapter 17 to new infrastructure	Maxime Dénès	2018-03-22
\|/ / / / / / /
\| \| * \| \| \| \|	docs	Ralf Jung	2018-03-21
\| * \| \| \| \| \|	[default.nix] Add dependencies of the merging script.	Théo Zimmermann	2018-03-21
\|/ / / / / /
* \| \| \| \| \|	Merge PR #7027: Refine a bit the decentralized merging process.	Théo Zimmermann	2018-03-21
\|\ \ \ \ \ \ \| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| * \| \| \| \|	Switching owners for `META.coq`	Maxime Dénès	2018-03-21
\| * \| \| \| \|	Fix appveyor entry in CODEOWNERS.	Maxime Dénès	2018-03-21
\| * \| \| \| \|	Refine a bit the decentralized merging process.	Maxime Dénès	2018-03-21
* \| \| \| \| \|	Merge PR #7023: [ssreflect] Respect Opaque in FO unification	Enrico Tassi	2018-03-21
\|\ \ \ \ \ \ \| \|/ / / / / \|/\| \| \| \| \|
\| \| \| \| * \|	Fix #7026: ssr: applying an overloaded lemma as a view takes too long.	Pierre-Marie Pédrot	2018-03-21
\| \|_\|_\|/ / \|/\| \| \| \|
\| \| * \| \|	coq_makefile: provide variables to override for adding extra flags	Ralf Jung	2018-03-20
\| \| * \| \|	coq_makefile: FLAG make variables should not contain LIBS	Ralf Jung	2018-03-20
\| \|/ / / \|/\| \| \|
\| * \| \|	[ssreflect] Respect Opaque in FO unification	Maxime Dénès	2018-03-20
\|/ / /
* \| \|	Merge PR #7022: Update CODEOWNERS	Maxime Dénès	2018-03-20
\|\ \ \
\| * \| \|	Update CODEOWNERS	Enrico	2018-03-20
\|/ / /
* \| \|	Merge PR #7014: New merging process	Maxime Dénès	2018-03-20
\|\ \ \
\| * \| \|	Add CODEOWNERS	Maxime Dénès	2018-03-20