coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	checker: Change in library on disk values, now using context_sets instead of	Matthieu Sozeau	2014-12-17
*	Update checker/values and cic due to changes in case_info and record_body.	Matthieu Sozeau	2014-12-17
*	Fix checker/values.ml with latest changes due to projections and universes.	Matthieu Sozeau	2014-09-05
*	Completing 5eb53b5bc8d765ed75e965f43f1084e18efc8790 (I unfortunately	Hugo Herbelin	2014-04-29
*	Fixing checker with respect to new kernel name structure and hashmaps.	Pierre-Marie Pédrot	2014-03-18
*	vi2vo: universes handling finally fixed	Enrico Tassi	2014-03-11
*	checker and votour ported to new vo format (after -vi2vo)	Enrico Tassi	2014-02-26
*	votour: better error messages	Enrico Tassi	2014-02-26
*	fix checker w.r.t. mutual_inductive_body and constant_body	Enrico Tassi	2014-02-26
*	Future: ported to Ephemeron + exception enhancing	gareuselesinge	2013-10-18
*	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