coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	maj	coq	2005-06-08
*	traitement des case	coq	2005-06-08
*	evar declarees avec mauvais type	barras	2005-06-08
*	maj	coq	2005-06-07
*	maj	coq	2005-06-07
*	pas de filtrages partiels	barras	2005-06-07
*	reparations de quelques petits bugs d\'unification + introduction de la notio...	barras	2005-06-07
*	maj	coq	2005-06-06
*	essai de typage des instantiations d\'evars	barras	2005-06-06
*	maj	coq	2005-06-05
*	maj	coq	2005-06-05
*	eradication de Evarutil.w_Define	barras	2005-06-05
*	assouplissement de real_clean: ne tient pas compte des occcurences flexibles ...	barras	2005-06-05
*	maj	coq	2005-06-04
*	Ajout explicite du niveau 200 de pattern auquel on fait référence au niveau...	herbelin	2005-06-04
*	maj	coq	2005-06-03
*	Prise en compte de l'utilisation des notations récursives pour faire une not...	herbelin	2005-06-03
*	suppression de code commente	coq	2005-06-03
*	whelp + correction bug affichage de coqide	coq	2005-06-03
*	maj	coq	2005-06-02
*	maj	coq	2005-06-01
*	maj	coq	2005-05-31
*	coqwc: Admitted	filliatr	2005-05-31
*	maj	coq	2005-05-30
*	maj	coq	2005-05-29
*	maj	coq	2005-05-28
*	unification: evar_define checks the free variables are bound in the evar context	barras	2005-05-28
*	maj	coq	2005-05-27
*	maj	coq	2005-05-26