coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[Sphinx] Move chapter 24 to new infrastructure	Maxime Dénès	2018-03-29
*	[Sphinx] Add chapter 23	Maxime Dénès	2018-03-29
*	[Sphinx] Move chapter 23 to new infrastructure	Maxime Dénès	2018-03-29
*	[Sphinx] Remove duplicate entry for command `Coercion`	Maxime Dénès	2018-03-29
*	[Sphinx] Add chapter 18	Maxime Dénès	2018-03-29
*	[Sphinx] Move chapter 18 to new infrastructure	Maxime Dénès	2018-03-29
*	Merge PR #7057: Sphinx Chapter 20: Type Classes	Maxime Dénès	2018-03-29
\|\
* \	Merge PR #7072: Update codeowners	Maxime Dénès	2018-03-29
\|\ \
\| * \|	Remove dev/doc/changes.md from files with a code owner.	Théo Zimmermann	2018-03-29
* \| \|	Merge PR #7090: stm: don't propagate side effects when editing a proof	Emilio Jesus Gallego Arias	2018-03-28
\|\ \ \
* \ \ \	Merge PR #6961: [test-suite] Add backtracking test for `Load`.	Enrico Tassi	2018-03-28
\|\ \ \ \
\| \| * \| \|	stm: don't propagate side effects when editing a proof	Enrico Tassi	2018-03-27
* \| \| \| \|	Merge PR #6835: Deprecate undocumented "intros until 0" in favor of "intros *"	Pierre-Marie Pédrot	2018-03-27
\|\ \ \ \ \
* \ \ \ \ \	Merge PR #7062: Slightly refining some error messages about unresolvable evars.	Pierre-Marie Pédrot	2018-03-27
\|\ \ \ \ \ \
\| \| \| \| \| \| *	[doc] Port Chapter 20 Type Classes to Sphinx	Matthieu Sozeau	2018-03-26
* \| \| \| \| \| \|	Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...	Maxime Dénès	2018-03-26
\|\ \ \ \ \ \ \ \| \|_\|_\|_\|/ / / \|/\| \| \| \| \| \|
\| \| \| \| \| \| *	Move Classes.tex to type-classes.rst	Matthieu Sozeau	2018-03-26
* \| \| \| \| \| \|	Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.	Enrico Tassi	2018-03-26
\|\ \ \ \ \ \ \
\| \| \| \| \| \| * \|	Add Michael Soegtrop as a code owner for Windows build scripts.	Théo Zimmermann	2018-03-26
\| \| \| \| \| \| * \|	Use Pierre Corbineau GitHub nickname in CODEOWNERS.	Théo Zimmermann	2018-03-26
\| \|_\|_\|_\|_\|/ / \|/\| \| \| \| \| \|
\| \| \| * \| \| \|	Slightly refining some error messages about unresolvable evars.	Hugo Herbelin	2018-03-24
\| \|_\|/ / / / \|/\| \| \| \| \|
\| \| \| * \| \|	Deprecate undocumented "intros until 0" in favor of "intros *".	Hugo Herbelin	2018-03-23
\| \|_\|/ / / \|/\| \| \| \|
* \| \| \| \|	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