coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \| \|	Fix bug #4939: LtacProf prints tactic notations weirdly.	Pierre-Marie Pédrot	2016-08-18
\| * \| \| \| \| \|	Adding a test for bug #4653.	Pierre-Marie Pédrot	2016-08-18
\| * \| \| \| \| \|	Merge PR #256 into v8.6	Pierre-Marie Pédrot	2016-08-18
\| \|\ \ \ \ \ \
\| \| * \| \| \| \| \|	In docs, fix command to reset Ltac profiling	Paul Steckler	2016-08-17
\| \|/ / / / / /
\| \| * \| \| \| \|	Fix setoid_rewrite to raise proper errors	Matthieu Sozeau	2016-08-17
\| \| \| \| \| * \|	Fixing #5001 (metas not cleaned properly in clenv_refine_in).	Hugo Herbelin	2016-08-17
\| \| \| \| \| * \|	Fixing CHANGES.	Hugo Herbelin	2016-08-17
\| * \| \| \| \| \|	Documenting fix of #3070 (subst and chain of dependencies).	Hugo Herbelin	2016-08-17
\| \|/ / / / /
* \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-08-17
\|\\| \| \| \| \|
* \| \| \| \| \|	Revert "CLEANUP: removing the definition of the "Context.Rel.Declaration.to_t...	Pierre-Marie Pédrot	2016-08-17
\| \|_\|_\|_\|/ \|/\| \| \| \|
\| \| * \| \|	Fix #4978: priorities of Equivalence instances	Matthieu Sozeau	2016-08-17
\| \|/ / /
\| * \| \|	Fixing #3070 ("subst" taking properly into account chains of dependencies).	Hugo Herbelin	2016-08-17
\| * \| \|	Two protections against failures when printing evar_map.	Hugo Herbelin	2016-08-17
\| * \| \|	Fixing printing in debugger (no global env in debugger).	Hugo Herbelin	2016-08-17
\| * \| \|	A fix to dev/include.	Hugo Herbelin	2016-08-17
\| \| \| *	infoH: output via msg_* to make the XML protocol happy	Enrico Tassi	2016-08-17
\| * \| \|	Removing dead unsafe debugging code in Constrintern.	Pierre-Marie Pédrot	2016-08-16
\| \| \| *	Output a break before a list only if there was an empty line (bug #4606).	Guillaume Melquiond	2016-08-16
\| * \| \|	Merge PR #250 into v8.6	Pierre-Marie Pédrot	2016-08-16
\| \|\ \ \
\| * \ \ \	Merge PR #237 into v8.6	Pierre-Marie Pédrot	2016-08-16
\| \|\ \ \ \
\| * \ \ \ \	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\| \|\ \ \ \ \ \| \| \| \|_\|_\|/ \| \| \|/\| \| \|
\| * \| \| \| \|	Efficiently generate the pretyping contexts.	Pierre-Marie Pédrot	2016-08-16
\| \|\ \ \ \ \
\| \| \| * \ \ \	Merge branch 'pr255' into v8.5 (bug #5015)	Guillaume Melquiond	2016-08-16
\| \| \| \|\ \ \ \
\| \| \| \| * \| \| \|	Fix regression in Coqide's "forward one command" command	Xavier Leroy	2016-08-14
\| \| \| \|/ / / /
* \| \| \| \| \| \|	Adding "Context.Named.Declaraton.of_rel" function	Matej Kosik	2016-08-11
* \| \| \| \| \| \|	CLEANUP: removing the definition of the "Context.Rel.Declaration.of_tuple" fu...	Matej Kosik	2016-08-11
* \| \| \| \| \| \|	CLEANUP: removing the definition of the "Context.Rel.Declaration.to_tuple" fu...	Matej Kosik	2016-08-11
* \| \| \| \| \| \|	CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" function	Matej Kosik	2016-08-11
* \| \| \| \| \| \|	CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" function	Matej Kosik	2016-08-11
* \| \| \| \| \| \|	CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" function	Matej Kosik	2016-08-11
\| \| \| * \| \| \|	Do not assume the "TERM" environment variable is always set (bug #5007).	Guillaume Melquiond	2016-08-11
\| \| \| * \| \| \|	Use the "md5" command on OpenBSD (bug #5008).	Guillaume Melquiond	2016-08-11
\| * \| \| \| \| \|	Make code a bit clearer by removing optional argument.	Guillaume Melquiond	2016-08-10
\| * \| \| \| \| \|	Remove unused optional "predicative" argument.	Guillaume Melquiond	2016-08-10
\| * \| \| \| \| \|	Make it a bit more obvious when variables are of type unit.	Guillaume Melquiond	2016-08-10
\| * \| \| \| \| \|	Reduce warning noise when compiling the standard library.	Guillaume Melquiond	2016-08-09
\| * \| \| \| \| \|	Make List.map_filter(_i) tail-recursive.	Guillaume Melquiond	2016-08-09
\| \| \| * \| \| \|	Fix #5000: Document the native compiler soundness bug due to Unicode mangling.	Pierre-Marie Pédrot	2016-08-07
\| \| * \| \| \| \|	Using a dedicated kind of substitutions in evar name generation.	Pierre-Marie Pédrot	2016-08-06
\| \| * \| \| \| \|	Using the extended contexts in pretyping.	Pierre-Marie Pédrot	2016-08-05
\| \| * \| \| \| \|	Use sets instead of lists for names to avoid in evar generation.	Pierre-Marie Pédrot	2016-08-04
\| \| * \| \| \| \|	Simplifying code in evar generation.	Pierre-Marie Pédrot	2016-08-04
\| \| * \| \| \| \|	Exporting the renaming API for evar declaration.	Pierre-Marie Pédrot	2016-08-04
\| \| * \| \| \| \|	Embedding the pretyping environment in a dummy record.	Pierre-Marie Pédrot	2016-08-04
\| \|/ / / / /
\| \| * \| \| \|	Fix documentation typo (bug #4994).	Guillaume Melquiond	2016-08-04
\| \| * \| \| \|	Fix bug #4673: regression in setoid_rewrite.	Matthieu Sozeau	2016-07-29
\| * \| \| \| \|	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-07-29
\| \|\\| \| \| \|
\| \| * \| \| \|	Update CHANGES about #3886 bugfix	Matthieu Sozeau	2016-07-29
\| \| * \| \| \|	Fix bug #3886, generation of obligations of fixes	Matthieu Sozeau	2016-07-29
\| \| * \| \| \|	Fix #4769, univ poly and elim schemes in sections	Matthieu Sozeau	2016-07-29