coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	COMMENT: Names.Cmap and Names.Cmap_env	Matej Kosik	2016-10-26
*	COMMENT: Proofview.entry	Matej Kosik	2016-10-26
*	COMMENT: Constr.kind_of_term	Matej Kosik	2016-10-26
*	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
\| \| \| \|\
\| * \| \| \|	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
\| * \| \| \|	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
\| * \| \| \|	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
\| * \| \| \| \| \|	Test for variant of #5142 (good error message on pattern-matching failure).	Hugo Herbelin	2016-10-19
\| * \| \| \| \| \|	Attempt to improve error rendering in pattern-matching compilation (#5142).	Hugo Herbelin	2016-10-19
* \| \| \| \| \| \|	enriching ".gitignore"	Matej Kosik	2016-10-19
\| * \| \| \| \| \|	More comments in VM.	Maxime Dénès	2016-10-19
\| * \| \| \| \| \|	Error Resiliency: more conservative default (only curly braces)	Enrico Tassi	2016-10-19
\| \| \| \| \| \| *	Making the doc of auto hints more precise.	Théo Zimmermann	2016-10-19
* \| \| \| \| \| \|	COMMENT: was added to "Nameops.increment_suffix".	Matej Kosik	2016-10-19
* \| \| \| \| \| \|	CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript".	Matej Kosik	2016-10-19