coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| * \| \| \| \| \|	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
\|/ / / / / / / / / / /
\| \| \| \| \| * \| \| \| \| \|	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
* \| \| \| \| \| \|	Fix #5174: Underinformative syntax error messages in the new arguments syntax	Maxime Dénès	2016-11-30
* \| \| \| \| \| \|	STM: cur_id must be invalid if an error occurs (fix #5191)	Enrico Tassi	2016-11-29
\| \|_\|_\|_\|_\|/ \|/\| \| \| \| \|
* \| \| \| \| \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \| \| \| \| \|	Lazily load constants in micromega (bug #5134).	Guillaume Melquiond	2016-11-24
* \| \| \| \| \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \| \| \| \| \|	Fix incorrect long multiplication in the VM.	Guillaume Melquiond	2016-11-24
* \| \| \| \| \|	Properly parenthesize "ltac:" arguments (bug #5169).	Guillaume Melquiond	2016-11-22
\| \| \| \| \| *	(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes	Jason Gross	2016-11-21
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| * \| \|	(v8.6) Update dev/doc/changes with things about mem_named_context	Jason Gross	2016-11-21
\| \|/ / / \|/\| \| \|
\| \| * \|	(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes	Jason Gross	2016-11-21
\| \|/ / \|/\| \|
\| \| *	(v8.6) Add example in dev/doc/changes involving Tacmach.project	Jason Gross	2016-11-21
\| \|/ \|/\|
* \|	Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).	Guillaume Melquiond	2016-11-21
* \|	Stop parsing -compat-notations options, which are no longer supported (bug #3...	Guillaume Melquiond	2016-11-21
* \|	Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"	Maxime Dénès	2016-11-18
* \|	Revert "fake_ide: use the now available Status XML message"	Maxime Dénès	2016-11-18
\| *	Add missing label. Fixes broken ref.	Théo Zimmermann	2016-11-17
\|/
*	fake_ide: use the now available Status XML message	Enrico Tassi	2016-11-17
*	Merge remote-tracking branch 'github/pr/360' into v8.6	Maxime Dénès	2016-11-17
\|\
* \	Merge commit '633ed9c' into v8.6	Maxime Dénès	2016-11-17
\|\ \
\| * \|	Add test suite files for 4700-4785	Jason Gross	2016-11-17
\| \| *	[stm] Remove STM-related vernaculars	Emilio Jesus Gallego Arias	2016-11-17
* \| \|	Merge remote-tracking branch 'github/pr/362' into v8.6	Maxime Dénès	2016-11-17
\|\ \ \
\| * \| \|	Minor debug printing bug,	Matthieu Sozeau	2016-11-16
\| * \| \|	Revert more of a477dc for good measure	Matthieu Sozeau	2016-11-16
\| \| \|/ \| \|/\|
* \| \|	Merge remote-tracking branch 'github/pr/361' into v8.6	Maxime Dénès	2016-11-16
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	[doc] Mention XML protocol on changes.	Emilio Jesus Gallego Arias	2016-11-16
\|/ /
* \|	Merge remote-tracking branch 'github/pr/358' into v8.6	Maxime Dénès	2016-11-15
\|\ \
\| * \|	Revert part of a477dc, disallow_shelved	Matthieu Sozeau	2016-11-15
\|/ /
* \|	Remove README.win until we come up with new instructions.	Maxime Dénès	2016-11-14
* \|	Set version number to 8.6beta1.	Maxime Dénès	2016-11-14
* \|	Remove the list of bug fixes from CHANGES.	Maxime Dénès	2016-11-14
* \|	Fix bug in warnings: -w foo was silent when foo did not exist.	Maxime Dénès	2016-11-14
* \|	Do not mention "none" in warnings doc, as it is there for compatibility.	Maxime Dénès	2016-11-14
* \|	Coqide: fixing default local links for refman and stdlib.	Hugo Herbelin	2016-11-11
* \|	Making explicit that a result is discarded (ocaml warning).	Hugo Herbelin	2016-11-11