coq - The formal proof system

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