coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #8054: [dev] Autogenerate OCaml dev files.	Enrico Tassi	2018-07-18
\|\
* \|	Remove fourier plugin	Maxime Dénès	2018-07-17
\| *	[dev] Autogenerate OCaml dev files.	Emilio Jesus Gallego Arias	2018-07-12
* \|	Introduce a team of code owners for the CI system.	Théo Zimmermann	2018-07-09
\|/
*	Remove letouzey from CODEOWNERS since he left the Coq organization.	Gaëtan Gilbert	2018-07-04
*	Update maintainers for native/VM files in pretyping	Maxime Dénès	2018-06-28
*	Make Clément the secondary codeowner of doc/tools/coqrst.	Théo Zimmermann	2018-06-20
*	Add codeowner for timing python scripts	Jason Gross	2018-05-31
*	Change primary maintainer for the checker.	Théo Zimmermann	2018-05-25
*	Add myself as a secondary maintainer for the documentation.	Théo Zimmermann	2018-05-22
*	Maitainers for components of the test-suite (closes #7426).	Théo Zimmermann	2018-05-20
*	[codeowner] Add comment.	Théo Zimmermann	2018-05-20
*	Make Pierre-Marie a secondary maintainer of the kernel and checker.	Théo Zimmermann	2018-05-20
*	Merge PR #7504: Define code owners for more CI files.	Maxime Dénès	2018-05-14
\|\
* \	Merge PR #7170: Script to identify the code owner for given files	Maxime Dénès	2018-05-14
\|\ \
\| \| *	Define code owners for more CI files.	Théo Zimmermann	2018-05-14
\| \|/ \|/\|
* \|	Try to fix CODEOWNERS	Maxime Dénès	2018-05-08
\| *	Add CODEOWNERS entry for check-owners*.sh	Gaëtan Gilbert	2018-05-07
* \|	Merge PR #7371: Propose some updates of the CODEOWNER file.	Maxime Dénès	2018-05-07
\|\ \
* \| \|	Fix Makefile.ci pattern in CODEOWNERS	Maxime Dénès	2018-05-02
* \| \|	Make doc owners also own Makefile.doc	Maxime Dénès	2018-05-02
\| * \|	Fix the secondary maintainer for Makefile.	Théo Zimmermann	2018-04-29
\| * \|	Change maintainers for universe files in the kernel / engine.	Théo Zimmermann	2018-04-29
* \| \|	[owners] Makefile.ci belongs to the CI category.	Emilio Jesus Gallego Arias	2018-04-26
\|/ /
* \|	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias	2018-04-23
* \|	Assign circleci files to @SkySkimmer, @ejgallego	Gaëtan Gilbert	2018-04-17
* \|	Add myself as the primary maintainer of the warnings system	Maxime Dénès	2018-04-11
\|/
*	Remove dev/doc/changes.md from files with a code owner.	Théo Zimmermann	2018-03-29
*	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
*	Merge PR #7046: Switch maintainers for documentation	Théo Zimmermann	2018-03-23
\|\
* \|	Owners for developer tools	Maxime Dénès	2018-03-22
\| *	Switch maintainers for documentation	Maxime Dénès	2018-03-22
\|/
*	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
*	Update CODEOWNERS	Enrico	2018-03-20
*	Add CODEOWNERS	Maxime Dénès	2018-03-20