coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	reactivation de l optim des fermetures	barras	2005-07-13
*	backtrack modif de knh...	barras	2005-07-13
*	Correction double bug #986: Fold ne préserve pas nécessairement le typage e...	herbelin	2005-07-13
*	* empty log message *	barras	2005-07-13
*	maj	coq	2005-07-12
*	test du tag de reduction	barras	2005-07-12
*	maj	coq	2005-07-11
*	maj	coq	2005-07-10
*	maj	coq	2005-07-09
*	maj	coq	2005-07-08
*	maj	coq	2005-07-07
*	maj	coq	2005-07-06
*	MAJ	herbelin	2005-07-06
*	maj	coq	2005-07-05
*	maj	coq	2005-07-04
*	maj	coq	2005-07-03
*	maj	coq	2005-07-02
*	maj	coq	2005-07-01
*	maj	coq	2005-06-30
*	maj	coq	2005-06-29
*	maj	coq	2005-06-28
*	Correction bug #983	herbelin	2005-06-28
*	maj	coq	2005-06-27
*	maj	coq	2005-06-26
*	maj	coq	2005-06-25
*	maj	coq	2005-06-24
*	maj	coq	2005-06-24
*	Dp: ajout d'abstraction aux applications de fonction non premier ordre	coq	2005-06-24
*	dp: ajout des prédicats de sortes	coq	2005-06-24
*	maj	coq	2005-06-22
*	Added entry constr_may_eval for tactic extensions (new syntax)	herbelin	2005-06-22
*	maj	coq	2005-06-21
*	coqdep connait maintenant user-contrib	filliatr	2005-06-21
*	maj	coq	2005-06-20
*	maj	coq	2005-06-19
*	maj	coq	2005-06-18
*	maj	coq	2005-06-17
*	maj	coq	2005-06-16
*	maj	coq	2005-06-15
*	maj	coq	2005-06-15
*	Dp : ajoût des existentiels	coq	2005-06-15
*	maj	coq	2005-06-14
*	maj	coq	2005-06-13
*	maj	coq	2005-06-12
*	maj	coq	2005-06-11
*	maj	coq	2005-06-10
*	maj	coq	2005-06-09
*	maj	coq	2005-06-09
*	dp: traitement des fixpoints	coq	2005-06-09
*	backtrack sur le typage des instantiations d\'evars	barras	2005-06-09