coq - The formal proof system

Age	Commit message (Expand)	Author
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