coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Slightly more compact representation of 'a substituted type,	ppedrot	2013-09-14
*	Adding dynamic value printing to votour through a registering mechanism.	ppedrot	2013-08-23
*	Change in vo format : digest aren't Marshalled anymore	letouzey	2013-08-22
*	Declarations.mli: reorganization of modular structures	letouzey	2013-08-20
*	Repair coqcheck : constant_body constraints are also future	letouzey	2013-08-20
*	checker validation fixed w.r.t. Futures	gareuselesinge	2013-08-09
*	checker validation made a bit more verbose	gareuselesinge	2013-08-09
*	Declaremods: major refactoring, stop duplicating libobjects in modules	letouzey	2013-07-17
*	Checker: vo validation checks the absence of Var/Evar/Meta	letouzey	2013-04-15
*	Checker : a md5-based way to ensure checker/values.ml is always in sync	letouzey	2013-04-15
*	Checker: vo validation is now done in check.ml (and always)	letouzey	2013-04-15
*	Checker: empty sections hardcoded in cb and mind	letouzey	2013-04-15
*	Checker: reified encoding of .vo types in values.ml	letouzey	2013-04-15