coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\\| \| \| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| * \| \| \| \| \| \|	Fix shelving order in typeclasses eauto.	Théo Zimmermann	2016-11-30
\| \| \| \| \| \| * \| \| \| \| \| \|	Fix typeclasses eauto shelving.	Théo Zimmermann	2016-11-30
\| \| \|_\|_\|_\|/ / / / / / / \| \|/\| \| \| \| \| \| \| \| \| \|
\| \| \| \| \| * \| \| \| \| \| \|	Fix bug #5232: proper globalization of hints paths	Matthieu Sozeau	2016-11-30
\| \| \|_\|_\|/ / / / / / / \| \|/\| \| \| \| \| \| \| \| \|
\| \| \| \| \| \| \| * \| \| \|	Univs: fix bug #5180	Matthieu Sozeau	2016-11-30
\| \| \| \| \| \| \| \|/ / /
\| \| \| \| \| \| \| \| * \|	Fix UGraph.check_eq!	Matthieu Sozeau	2016-11-30
\| \| \| \| \| \| \| \| * \|	Slightly more efficient [Univ.super] implem	Matthieu Sozeau	2016-11-30
\| \| \|_\|_\|_\|_\|_\|/ / \| \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \|	Fix #5183 - Two CoqIDE crash errors	Maxime Dénès	2016-11-30
\| * \| \| \| \| \| \| \|	Update copyright on documentation cover.	Maxime Dénès	2016-11-30