coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing bug #2279 (printing nested let-in was in exponential time)	herbelin	2010-03-27
*	fixed minor pbs with test cases	barras	2010-03-12
*	introduced lazy computation of size info in the guard condition	barras	2010-03-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	illegal tactic application was having Ltac interpreter loop	barras	2009-03-04
*	commited complexity test for exponential behavior of unification	barras	2009-02-09
*	- Optimized "auto decomp" which had a (presumably) exponential in	herbelin	2008-12-26
*	test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eq	letouzey	2008-07-09
*	Strategy commands are now exported	barras	2008-05-22
*	MAJ et bricoles diverses	herbelin	2008-05-12
*	Ajout d'un test de complexité de injection (cf bug 1173)	herbelin	2007-04-14
*	Pas de solution à court terme pour ce problème de complexité	herbelin	2007-01-28
*	Correction petits bugs du check de la test-suite	herbelin	2006-12-28
*	Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...	herbelin	2006-12-12
*	Test bug #932	herbelin	2006-12-12
*	Ajout test setoid_rewrite (cf bug #1176); anglicisation	herbelin	2006-11-01
*	Ajout d'un répertoire de test de la complexité	herbelin	2006-10-06