coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Avoid using the deprecated Scanf.fscanf function.	Maxime Dénès	2017-01-09
*	OCaml's -dtypes flag is deprecated and replaced by -annot.	Maxime Dénès	2017-01-09
*	Relax required OCaml to 4.02.1.	Maxime Dénès	2017-01-09
*	Merge remote-tracking branch 'github/pr/350' into trunk	Maxime Dénès	2017-01-09
\|\
* \|	Fixing #5277 (Scheme Equality not robust wrt choice of names).	Hugo Herbelin	2016-12-22
* \|	Fixing injection in the presence of let-in in constructors.	Hugo Herbelin	2016-12-22
* \|	Merge remote-tracking branch 'github/pr/172' into trunk	Maxime Dénès	2016-12-19
\|\ \
* \ \	Merge remote-tracking branch 'github/pr/351' into trunk	Maxime Dénès	2016-12-19
\|\ \ \
* \ \ \	Merge remote-tracking branch 'github/pr/363' into trunk	Maxime Dénès	2016-12-19
\|\ \ \ \
* \| \| \| \|	Fix a typo in Hurkens.v comment	Jason Gross	2016-12-19
* \| \| \| \|	Bump required OCaml version to 4.02.3.	Maxime Dénès	2016-12-19
* \| \| \| \|	Use Pp.quote in string options.	Maxime Dénès	2016-12-19
* \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\ \ \ \ \
\| * \| \| \| \|	Fix #5248 - test-suite fails in 8.6beta1	Maxime Dénès	2016-12-06
\| * \| \| \| \|	Fix broken documentation in presence of \zeroone{... \tt ...}.	Guillaume Melquiond	2016-12-06
\| * \| \| \| \|	Update documentation (bugs #5246 and #5251).	Guillaume Melquiond	2016-12-06
\| * \| \| \| \|	Merge remote-tracking branch 'github/pr/387' into v8.6	Maxime Dénès	2016-12-06
\| \|\ \ \ \ \
\| * \ \ \ \ \	Merge remote-tracking branch 'github/pr/389' into v8.6	Maxime Dénès	2016-12-06
\| \|\ \ \ \ \ \
\| \| * \| \| \| \| \|	Change module for Coq loop	Paul Steckler	2016-12-05
\| \| * \| \| \| \| \|	the -byte option is deprecated	Paul Steckler	2016-12-05
\| \|/ / / / / /
\| \| * \| \| \| \|	ssrmatching: handle primite projections (fix: #5247)	Enrico Tassi	2016-12-05
\| * \| \| \| \| \|	Compute dependency of C files only in kernel/byterun.	Maxime Dénès	2016-12-05
\| \|/ / / / /
\| * \| \| \| \|	Merge remote-tracking branch 'github/pr/366' into v8.6	Maxime Dénès	2016-12-04
\| \|\ \ \ \ \
\| * \ \ \ \ \	Merge remote-tracking branch 'github/pr/378' into v8.6	Maxime Dénès	2016-12-04
\| \|\ \ \ \ \ \
\| * \| \| \| \| \| \|	Fix test-suite after change in "context" printing.	Maxime Dénès	2016-12-02
\| \| \| * \| \| \| \|	Document changes	Matthieu Sozeau	2016-12-02
\| * \| \| \| \| \| \|	Merge remote-tracking branch 'github/pr/377' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \
\| * \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/372' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/368' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \	Merge branch 'pr/367' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \|	Fixing lexing of strings in comments for beautifier.	Hugo Herbelin	2016-12-02
\| \| * \| \| \| \| \| \| \| \| \|	Fixing printing of "ltac:" in tactics after surrounding parentheses	Hugo Herbelin	2016-12-02
\| \| \| \| \| \| * \| \| \| \| \|	Comment on universe handling in Parameters	Matthieu Sozeau	2016-12-02
\| \| \| \| \| \| * \| \| \| \| \|	Univs: fix bug #5188	Matthieu Sozeau	2016-12-02
\| * \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'github/pr/381' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \|	Fix #5242 - Dubious unsilenceable warning on invalid identifier	Maxime Dénès	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Fixing printing of "Set Warnings Append".	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Fixing space in printing "Context".	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Fixing printers for pr_auto_using and pr_firstorder_using.	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Fixing space in printing several list of implicit arguments.	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Fixing printing of "only parsing" in abbreviations.	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	Protect printing of ltac's "context [...]" from possible collision	Hugo Herbelin	2016-12-02
\| \| \| * \| \| \| \| \| \| \| \| \|	More on fixing #5098 (preserving printing of "in hyp").	Hugo Herbelin	2016-12-02
\| \| \|/ / / / / / / / / / \| \|/\| \| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'github/pr/380' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/369' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/371' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/364' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/382' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \| \| \| \| \| \|	[merlin] Adjust merlin for ide.	Emilio Jesus Gallego Arias	2016-11-30
\| \|/ / / / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|