coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
\| *	merge script support https + typos in doc	Pierre Courtieu	2018-04-11
\|/
*	Add note for homebrew users.	Théo Zimmermann	2018-04-05
*	Some advice about merge script dependencies.	Théo Zimmermann	2018-04-05
*	Improve the MERGING doc.	Théo Zimmermann	2018-04-05
*	More precise wording about the merge process.	Maxime Dénès	2018-03-23
*	Refine a bit the decentralized merging process.	Maxime Dénès	2018-03-21
*	Describe new merging process.	Maxime Dénès	2018-03-19
*	document -profile in dev/doc/setup.txt	Enrico Tassi	2018-03-06
*	Merge PR #6812: Rename release_lexer_state to the more descriptive get_lexer_...	Maxime Dénès	2018-02-28
\|\
\| *	Tweak developer documentation.	Jim Fehrle	2018-02-22
* \|	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
\|/
*	Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`	Maxime Dénès	2018-02-19
\|\
* \|	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| *	[engine] Remove ghost parameter from `Proofview.Goal.t`	Emilio Jesus Gallego Arias	2018-02-12
\|/
*	[stm] [toplevel] Make loadpath a parameter of the document.	Emilio Jesus Gallego Arias	2018-02-05
*	Merge PR #6629: Archive COMPATIBILITY	Maxime Dénès	2018-01-23
\|\
\| *	Archive COMPATIBILITY.	Théo Zimmermann	2018-01-22
* \|	Merge PR #6550: Remove outdated note about rlwrap in setup.txt	Maxime Dénès	2018-01-22
\|\ \ \| \|/ \|/\|
\| *	Stop talking about debian in "A note about rlwrap"	Gaëtan Gilbert	2018-01-08
* \|	Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...	Maxime Dénès	2018-01-08
\|\ \ \| \|/ \|/\|
\| *	Add instructions for debugging from the command line (and in Windows)	Jim Fehrle	2017-12-29
* \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27