coq - The formal proof system

Age	Commit message (Expand)	Author
2014-04-29	Completing 5eb53b5bc8d765ed75e965f43f1084e18efc8790 (I unfortunately	Hugo Herbelin
2014-03-18	Fixing checker with respect to new kernel name structure and hashmaps.	Pierre-Marie Pédrot
2014-03-11	vi2vo: universes handling finally fixed	Enrico Tassi
2014-02-26	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
2013-10-18	Future: ported to Ephemeron + exception enhancing	gareuselesinge
2013-09-14	Slightly more compact representation of 'a substituted type,	ppedrot
2013-08-23	Adding dynamic value printing to votour through a registering mechanism.	ppedrot
2013-08-22	Change in vo format : digest aren't Marshalled anymore	letouzey
2013-08-20	Declarations.mli: reorganization of modular structures	letouzey
2013-08-20	Repair coqcheck : constant_body constraints are also future	letouzey
2013-08-09	checker validation fixed w.r.t. Futures	gareuselesinge
2013-08-09	checker validation made a bit more verbose	gareuselesinge
2013-07-17	Declaremods: major refactoring, stop duplicating libobjects in modules	letouzey
2013-04-15	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