coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| \| * \| \| \| \| \|	Revert "Fixing call to "lazy beta iota" in "refine" (restoring v8.4 behavior)."	Maxime Dénès	2016-10-25
\| \| \|/ / / / /
\| * \| \| \| \| \|	Merge commit 'a799600' into v8.6	Maxime Dénès	2016-10-25
\| \|\ \ \ \ \ \
\| \| * \| \| \| \| \|	That Function is unable to create a Fixpoint equation is a user problem,	Yves Bertot	2016-10-25
\| \| \| * \| \| \| \|	Update CHANGES.	Maxime Dénès	2016-10-25
\| \| \| * \| \| \| \|	Bump version number to 8.5pl3.	Maxime Dénès	2016-10-25
\| \| \| * \| \| \| \|	Merge remote-tracking branch 'github/pr/333' into v8.5	Maxime Dénès	2016-10-25
\| \| \| \|\ \ \ \ \
\| \| \| * \ \ \ \ \	Merge remote-tracking branch 'github/pr/329' into v8.5	Maxime Dénès	2016-10-25
\| \| \| \|\ \ \ \ \ \
* \| \| \| \| \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\| \| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-24
\| \|\ \ \ \ \ \ \ \ \ \| \| \| \|/ / / / / / / \| \| \|/\| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \|	Adding a test for #4398 (interpretation scopes for "match goal").	Hugo Herbelin	2016-10-24
\| * \| \| \| \| \| \| \| \|	Rename lia.cache into .lia.cache in the test-suite Makefile.	Maxime Dénès	2016-10-24
\| * \| \| \| \| \| \| \| \|	Merge commit '81bdc22' into v8.6	Maxime Dénès	2016-10-24
\| \|\ \ \ \ \ \ \ \ \
\| \| \| * \ \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/326' into v8.5	Maxime Dénès	2016-10-24
\| \| \| \|\ \ \ \ \ \ \ \
\| \| \| \| \| \| * \| \| \| \| \|	Test file for #5127: Memory corruption with the VM	Maxime Dénès	2016-10-24
\| \| \| \| \| \| * \| \| \| \| \|	Fix #5127 Memory corruption with the VM	Maxime Dénès	2016-10-24
\| * \| \| \| \| \| \| \| \| \| \|	Merge branch 'v8.5' into v8.6	Hugo Herbelin	2016-10-24
\| * \| \| \| \| \| \| \| \| \| \|	ssrmatching: fix interpretation of rpattern	Enrico Tassi	2016-10-24
\| \| \|_\|_\|/ / / / / / / \| \|/\| \| \| \| \| \| \| \| \|
\| \| \| * \| \| \| \| \| \| \|	Fixing a location bug with "?" and "$".	Hugo Herbelin	2016-10-24
\| \| \| * \| \| \| \| \| \| \|	Fixing #3479 (parsing of "{" and "}" when a keyword starts with "{" or "}").	Hugo Herbelin	2016-10-24
\| \| \| \| \|/ / / / / / \| \| \| \|/\| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \|	Update .gitignore with new names for psatz caches	Jason Gross	2016-10-24
\| \| \| * \| \| \| \| \| \|	Fix 6d5fe92e to #5150 (missing dependencies in test suite) was a bit too strong.	Hugo Herbelin	2016-10-24
\| * \| \| \| \| \| \| \| \|	Merge branch 'v8.5' into v8.6	Hugo Herbelin	2016-10-22
\| \|\ \ \ \ \ \ \ \ \ \| \| \| \|/ / / / / / / \| \| \|/\| \| \| \| \| \| \|
\| \| * \| \| \| \| \| \| \|	Remove incorrect assertion in cbn (bug #4822).	Guillaume Melquiond	2016-10-22
\| \| * \| \| \| \| \| \| \|	Do not stop propagation of signals when Coq is busy (bug #3941).	Guillaume Melquiond	2016-10-22
\| \| * \| \| \| \| \| \| \|	Fix incorrect token description for bullets.	Guillaume Melquiond	2016-10-22
\| \| * \| \| \| \| \| \| \|	Fixing printing of generic arguments of tag "var".	Hugo Herbelin	2016-10-22
\| \| \| \| \| * \| \| \| \|	Fix a bug in error printing of unif constraints	Matthieu Sozeau	2016-10-22
\| \| \| \|_\|/ / / / / \| \| \|/\| \| \| \| \| \|
\| * \| \| \| \| \| \| \|	Adding a test for bug #3495.	Pierre-Marie Pédrot	2016-10-21
\| * \| \| \| \| \| \| \|	Oops, my bad, didn't expect a merge issue!	Matthieu Sozeau	2016-10-21
\| * \| \| \| \| \| \| \|	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-10-21
\| \|\\| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \|	Adding a primitive to recover the set of keywords from the lexer.	Pierre-Marie Pédrot	2016-10-21
\| \| * \| \| \| \| \| \|	Revert "unification.ml: fix for bug #4763, unif regression"	Maxime Dénès	2016-10-21
\| \| \| \| \| \| \| \| *	sections/hints: prevent Not_found in get_type_of	Matthieu Sozeau	2016-10-21
\| \| \|_\|_\|_\|_\|_\|/ \| \|/\| \| \| \| \| \|
\| * \| \| \| \| \| \|	Merge branch 'fixminimization' into v8.6	Matthieu Sozeau	2016-10-21
\| \|\ \ \ \ \ \ \
\| * \| \| \| \| \| \| \|	Revert 214b9ab7969fae71dcf553c399cb1674e463d0e3	Matthieu Sozeau	2016-10-21
\| \| * \| \| \| \| \| \|	Remove no longer exported debug printer	Matthieu Sozeau	2016-10-21
\| \| \| * \| \| \| \| \|	Merge remote-tracking branch 'github/pr/328' into v8.5	Maxime Dénès	2016-10-21
\| \| \| \|\ \ \ \ \ \
\| * \| \| \ \ \ \ \ \	Merge remote-tracking branch 'github/pr/233' into v8.6	Maxime Dénès	2016-10-21
\| \|\ \ \ \ \ \ \ \ \
\| \| \| \| * \| \| \| \| \| \|	Adding dependency of the test-suite subsystems in prerequisite (fixing #5150).	Hugo Herbelin	2016-10-20
\| \| \| \| * \| \| \| \| \| \|	A fix for #5097 (status of evars refined by "clear" in ltac: closed wrt evars).	Hugo Herbelin	2016-10-20
\| \| \| * \| \| \| \| \| \| \|	Cleanup code according to comments.	Matthieu Sozeau	2016-10-20
\| \| \| * \| \| \| \| \| \| \|	Fix minimization to be insensitive to redundant arcs.	Matthieu Sozeau	2016-10-20
\| \| \|/ / / / / / / / \| \|/\| \| \| \| \| \| \| \|
\| * \| \| \| \| \| \| \| \|	Merge branch 'bug5036' into v8.6	Matthieu Sozeau	2016-10-20
\| \|\ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \|	Fix bug #5036 autorewrite, sections and universes	Matthieu Sozeau	2016-10-20
\| \| \| * \| \| \| \| \| \| \|	[search] Don't build intermediate lists in search.	Emilio Jesus Gallego Arias	2016-10-20
\| \| \|/ / / / / / / / \| \|/\| \| \| \| \| \| \| \|
* \| \| \| \| \| \| \| \| \|	COMMENTS: dev/doc/changes.txt	Matej Kosik	2016-10-20
* \| \| \| \| \| \| \| \| \|	CLEANUP: Namegen.to_avoid	Matej Kosik	2016-10-20
\| * \| \| \| \| \| \| \| \|	Merge remote-tracking branch 'github/printcandidates' into v8.6	Matthieu Sozeau	2016-10-20
\| \|\ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \|	Refine printing of pending unification constraints	Matthieu Sozeau	2016-10-20
\| \|/ / / / / / / / /
\| \| \| \| \| \| * \| \| \|	Documenting Hint Resolve -> and <- variants.	Théo Zimmermann	2016-10-19