coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-12-19	Fixing performance issue of checker validation.	Pierre-Marie Pédrot
2014-02-26	fix checker w.r.t. Dyn.t validation	Enrico Tassi
2013-08-23	Adding dynamic value printing to votour through a registering mechanism.	ppedrot
2013-08-09	checker validation made a bit more verbose	gareuselesinge
2013-04-15	Checker: vo validation checks the absence of Var/Evar/Meta	letouzey
2013-04-15	Checker: reified encoding of .vo types in values.ml	letouzey
2013-02-19	Names: revised representation of constants and mutual_inductive	letouzey
2012-10-06	still some more dead code removal	letouzey
2012-08-08	Updating headers.	herbelin
2012-03-26	Adapt the checker after commit 15080	letouzey
2010-09-24	Checker: remove some dead code	letouzey
2010-07-30	adpated the checker to handle coomutative cuts and lazyness	barras
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-02-19	added validation of delta_resolver (which seem to have an impact on typing)	barras
2010-02-19	[checker] fixed vo validation problems, module incompatibilities remain	barras
2009-03-02	porting r11900 11905 and 11953 to trunk	barras
2008-05-06	checker deals with polymorphic constants and module aliases	barras
2008-04-21	added the .vo checker (with independent Makefile)	barras