coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	barras	2003-03-14
*	MAJ	herbelin	2003-03-04
*	Pb de parenthèse dans "Check (S (plus O O))"	herbelin	2003-01-30
*	Il ne doit plus y avoir de preuves non terminées à la sortie du fichier	herbelin	2003-01-19
*	* empty log message *	herbelin	2003-01-16
*	Problème de désynchronisation des variables du type et du corps d'un point-...	herbelin	2003-01-15
*	Export M + Module M <: SIG	coq	2003-01-09
*	MAJ	herbelin	2002-11-25
*	MAJ	herbelin	2002-11-24
*	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin	2002-10-29
*	Parseur pour n>20 dans nat plus disponible	herbelin	2002-10-16
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
*	Changement de sémantique de Remark : maintenant un global comme les autres	herbelin	2002-09-21
*	Correction	coq	2002-08-21
*	Test affichage optimal des coercions	herbelin	2002-08-14
*	Export Sumbool dans ProbBool; Reals charge et exporte ZArith_base seulement	filliatr	2002-06-21
*	Locate n'échoue plus: déplacement de Remark1 et Remark2 dans output	herbelin	2002-06-07
*	* empty log message *	herbelin	2002-06-03
*	* empty log message *	herbelin	2002-05-29
*	Quelques bugs avec inject_nat	herbelin	2002-04-17
*	Test affichage O de nat dans une expression sur Z	herbelin	2002-01-25
*	Test sobriété de la réduction de Intuition	herbelin	2001-12-19
*	Test sobriété de la réduction de Intuition	herbelin	2001-12-19
*	Test syntaxe des constructions de l'état initial	herbelin	2001-10-17
*	Commit par erreur	herbelin	2001-10-17
*	Test syntaxe des entiers relatifs	herbelin	2001-10-17
*	Test syntaxe des réels	herbelin	2001-10-17