coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-17
\|\
\| *	Remove dead code in Environ.	Pierre-Marie Pédrot	2016-10-12
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-10-12
\| \|\
\| \| *	Fix for bug #4863, update the Proofview's env with	Matthieu Sozeau	2016-10-11
\| * \|	Removing a slow access to a named environment.	Pierre-Marie Pédrot	2016-10-06
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\| \|
\| * \|	Merge remote-tracking branch 'github/pr/263' into v8.6	Maxime Dénès	2016-10-03
\| \|\ \
* \| \| \|	UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was repla...	Matej Kosik	2016-09-29
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\| \| \|
\| * \| \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-09-09
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Tracking careless uses of slow name lookup.	Pierre-Marie Pédrot	2016-09-09
\| \| * \|	Restore native compiler optimizations after they were broken by 9e2ee58.	Maxime Dénès	2016-09-09
\| \| \| *	Removing the now useless field env_named_val from named_context_val.	Pierre-Marie Pédrot	2016-09-09
\| \| \| *	More efficient implementation of map_named_val.	Pierre-Marie Pédrot	2016-09-09
\| \| \| *	Fast access environment in CClosure.	Pierre-Marie Pédrot	2016-09-09
\| \| \| *	Tentative fast-access named env	Pierre-Marie Pédrot	2016-09-09
\| \| \| *	Packing the named_context_val in a proper record and marking it private.	Pierre-Marie Pédrot	2016-09-09
\| \| \|/ \| \|/\|
* \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \
* \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Remove useless debug code.	Guillaume Melquiond	2016-09-02
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\\| \| \|
\| * \| \|	More efficient data structure to check if a native file is loaded.	Maxime Dénès	2016-09-01
* \| \| \|	CLEANUP: switching from "right-to-left" to "left-to-right" function compositi...	Matej Kosik	2016-08-30
* \| \| \|	CLEANUP: adding "Context.Compacted.Declaration.of_named_decl" function, which...	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: rename "Context.Named.{to,of}_rel" functions to "Context.Named.{to,o...	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \| \|	Merge remote-tracking branch 'v8.6' into trunk	Matej Kosik	2016-08-25
\|\\| \| \|
* \| \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: Type alias "Context.section_context" was removed	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to "Contex...	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: minor readability improvements	Matej Kosik	2016-08-24
* \| \| \|	Changing the definition of the "Lib.variable.info" type to enable us to do mo...	Matej Kosik	2016-08-24
* \| \| \|	Merging a branch that adds "Context.Named.Declaration.to_rel" function.	Matej Kosik	2016-08-24
\|\ \ \ \
\| * \| \| \|	Adding "Context.Named.Declaration.to_rel" function	Matej Kosik	2016-08-24
\| \| * \| \|	Use a better data structure for VM compilation of free vars.	Pierre-Marie Pédrot	2016-08-22
\| \| \| * \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| \| \| * \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\| \|_\|/ / \|/\| \| \|
* \| \| \|	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
\| \|/ / \|/\| \|
* \| \|	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
\| * \|	Make code a bit clearer by removing optional argument.	Guillaume Melquiond	2016-08-10
\|/ /
* \|	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-07-26
\|\\|
\| *	Fix bug #4876: critical bug in guard condition checker.	Matthieu Sozeau	2016-07-25
* \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-07-07
\|\\|
\| *	Prevent unsafe overwriting of Required modules by toplevel library.	Maxime Dénès	2016-07-05
\| *	congruence: Restrict refreshing to Set	Matthieu Sozeau	2016-07-04
* \|	closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)	Pierre Letouzey	2016-07-03