coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing performance issue of checker validation.	Pierre-Marie Pédrot	2014-12-19
*	fix checker w.r.t. Dyn.t validation	Enrico Tassi	2014-02-26
*	Adding dynamic value printing to votour through a registering mechanism.	ppedrot	2013-08-23
*	checker validation made a bit more verbose	gareuselesinge	2013-08-09
*	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-04-15
*	Names: revised representation of constants and mutual_inductive	letouzey	2013-02-19
*	still some more dead code removal	letouzey	2012-10-06
*	Updating headers.	herbelin	2012-08-08
*	Adapt the checker after commit 15080	letouzey	2012-03-26
*	Checker: remove some dead code	letouzey	2010-09-24
*	adpated the checker to handle coomutative cuts and lazyness	barras	2010-07-30
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	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	2010-02-19
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
*	checker deals with polymorphic constants and module aliases	barras	2008-05-06
*	added the .vo checker (with independent Makefile)	barras	2008-04-21