coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \| \|	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
* \| \| \| \| \| \|	Fix locality of "Hint Resolve <->" (bug #5189).	Guillaume Melquiond	2016-11-22
\| * \| \| \| \| \|	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
* \| \|	Tests for info/debug auto/eauto.	Hugo Herbelin	2016-11-19
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\| \|
\| * \|	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
\| * \|	Move OSX script.	Maxime Dénès	2016-11-10
\| * \|	Add Michael Soegtrop's new script to build windows installer.	Maxime Dénès	2016-11-10
\| * \|	Remove old windows build scripts.	Maxime Dénès	2016-11-10
\| * \|	Update CHANGES and credits for 8.6beta1.	Maxime Dénès	2016-11-10
\| * \|	Updating a comment in test-suite.	Hugo Herbelin	2016-11-10
\| * \|	Merge commit 'b385fbb' into v8.6	Maxime Dénès	2016-11-08
\| \|\ \
\| \| * \|	Use pf_get_type_of to avoid blowup in pose proof of large proof terms	Matthieu Sozeau	2016-11-08
\| * \| \|	Merge remote-tracking branch 'github/pr/348' into v8.6	Maxime Dénès	2016-11-08
\| \|\ \ \
\| * \| \| \|	Update documentation of Arguments after recent changes.	Maxime Dénès	2016-11-08
\| \| * \| \|	Rewording from Enrico	Matthieu Sozeau	2016-11-08
\| \| * \| \|	After Emilio's comment.	Matthieu Sozeau	2016-11-07
\| * \| \| \|	Merge remote-tracking branch 'github/pr/339' into v8.6	Maxime Dénès	2016-11-07
\| \|\ \ \ \ \| \| \|_\|/ / \| \|/\| \| \|
\| \| * \| \|	Mention notypeclasses refine in CHANGES	Matthieu Sozeau	2016-11-07
\| \| * \| \|	CHANGES for this branch.	Matthieu Sozeau	2016-11-07
\| \| * \| \|	Document two new variants of refine	Matthieu Sozeau	2016-11-07