coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Emilio Jesus Gallego Arias	2018-07-11
*	Merge PR #7898: Remove camlp4 remains	Emilio Jesus Gallego Arias	2018-07-11
\|\
* \|	Modify URLs in xml-protocol.md	Rin Arakaki	2018-07-08
* \|	Modify URLs in xml-protocol.md	Rin Arakaki	2018-07-08
\| *	Introduce a Pcoq.Entry module for functions that ought to be exported.	Pierre-Marie Pédrot	2018-07-07
\|/
*	Merge PR #7979: TACTIC EXTEND in coqpp	Emilio Jesus Gallego Arias	2018-07-05
\|\
\| *	Documenting the syntax changes.	Pierre-Marie Pédrot	2018-07-02
* \|	Clean up documentation around beginner's guide.	Siddharth Bhat	2018-07-02
\|/
*	Merge PR #7902: Use a homebrew parser to replace the GEXTEND extension points...	Emilio Jesus Gallego Arias	2018-07-02
\|\
* \	Merge PR #7410: Splitting primitive numeral parser/printer for positive, N, Z...	Emilio Jesus Gallego Arias	2018-07-01
\|\ \
\| \| *	Documenting the transition strategy of GEXTEND.	Pierre-Marie Pédrot	2018-06-29
\| \|/ \|/\|
* \|	Merge PR #7918: Mini-update of version history with recent changes.	Théo Zimmermann	2018-06-29
\|\ \
\| \| *	Splitting primitive numeral parser/printer for positive, N, Z into three files.	Hugo Herbelin	2018-06-29
* \| \|	Merge PR #7080: Swapping Context and Constr and defining declarations on cons...	Maxime Dénès	2018-06-29
\|\ \ \ \| \|_\|/ \|/\| \|
\| * \|	Swapping Context and Constr: defining declarations on constr in Constr.	Hugo Herbelin	2018-06-27
\| \| *	Mini-update of version history with recent changes.	Hugo Herbelin	2018-06-25
\| \|/
* /	Critical bugs: added #3243 and Gonthier's bug in lazy machine.	Hugo Herbelin	2018-06-25
\|/
*	Merge PR #7805: Towards listing the critical bugs of the history of Coq.	Théo Zimmermann	2018-06-24
\|\
* \	Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3	Maxime Dénès	2018-06-21
\|\ \
* \| \|	Remove reference name type.	Maxime Dénès	2018-06-18
\| \| *	Very first try at listing the critical bugs of the history of Coq.	Hugo Herbelin	2018-06-15
\| \|/ \|/\|
* \|	Document how to restart failed CI jobs.	Théo Zimmermann	2018-06-13
* \|	Markdown docs: switch from absolute to relative links.	Théo Zimmermann	2018-06-13
\| *	[build] Fix checks and notes noting 4.02.1 instead of 4.02.3	Emilio Jesus Gallego Arias	2018-06-11
\|/
*	dev/doc/univpoly.{txt => md}, split off primitive projection info	Gaëtan Gilbert	2018-06-08
*	Documenting the API change.	Pierre-Marie Pédrot	2018-06-04
*	[api] Move `Constrexpr` to the `interp` module.	Emilio Jesus Gallego Arias	2018-05-31
*	[api] Make `vernac/` self-contained.	Emilio Jesus Gallego Arias	2018-05-27
*	Merge PR #7573: Remove unused Printer.printer_pr override mechanism.	Hugo Herbelin	2018-05-27
\|\
* \	Merge PR #6057: Start a release process documentation.	Maxime Dénès	2018-05-26
\|\ \
* \ \	Merge PR #7574: Improve merging and overlay documentations.	Emilio Jesus Gallego Arias	2018-05-24
\|\ \ \
\| \| \| *	Remove the unused printer_pr mechanism.	Jim Fehrle	2018-05-24
\| \|_\|/ \|/\| \|
\| * \|	Complete rewrite of the documentation of overlays after Jim's additional comm...	Théo Zimmermann	2018-05-24
\| * \|	Improve merging and overlay documentations.	Théo Zimmermann	2018-05-24
* \| \|	Document Smart/Array changes in dev/doc/Changes.md.	Hugo Herbelin	2018-05-23
\|/ /
* \|	Merge PR #6965: [api] Move universe syntax to `Glob_term`	Pierre-Marie Pédrot	2018-05-18
\|\ \
\| \| *	Create a documentation for the release manager.	Théo Zimmermann	2018-05-18
\| \|/ \|/\|
* \|	add unit tests to test suite	Paul Steckler	2018-05-16
* \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
* \|	Update MERGING.md	Matthieu Sozeau	2018-05-15
* \|	git / gpg integration link	Matthieu Sozeau	2018-05-15
\| *	[api] Move universe syntax to `Glob_term`	Emilio Jesus Gallego Arias	2018-05-08
\|/
*	[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.	Emilio Jesus Gallego Arias	2018-05-04
*	Merge PR #7290: Update debugging.md	Hugo Herbelin	2018-04-25
\|\
* \|	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias	2018-04-23
* \|	Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.	Pierre-Marie Pédrot	2018-04-23
\|\ \
* \ \	Merge PR #7219: merge script support https + typos in doc	Maxime Dénès	2018-04-19
\|\ \ \
\| \| \| *	Update debugging.md	Jasper Hugunin	2018-04-15
\| \|_\|/ \|/\| \|
\| \| *	[doc] [engine] Document `abort_on_undefined_evars`.	Emilio Jesus Gallego Arias	2018-04-15
\| \|/ \|/\|
* \|	Evar maps contain econstrs.	Gaëtan Gilbert	2018-04-13