coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Native compiler: refactor code handling pre-computed values.	Maxime Dénès	2015-07-10
*	Removing dead code.	Pierre-Marie Pédrot	2015-02-02
*	Update headers.	Maxime Dénès	2015-01-12
*	Declarations.mli refactoring: module_type_body = module_body	Pierre Letouzey	2015-01-11
*	Native compiler: hide compiled files in a .coq-native subdirectory.	Maxime Dénès	2014-04-29
*	Fix exponential behavior in native compiler with retroknowledge.	Maxime Dénès	2014-04-09
*	Avoid generating .ml files in native compiler.	Maxime Dénès	2013-12-29
*	Removing native_name reference from constant_body.	Maxime Dénès	2013-12-28
*	Declarations.mli: reorganization of modular structures	letouzey	2013-08-20
*	Fixing a bug in the native compiler, introduced by r16363, leading to undefined	mdenes	2013-07-06
*	Native compiler: hash-consing of generated code and values.	mdenes	2013-03-25
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22