coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	message 'is defined' seulement en mode verbose	filliatr	2001-05-10
*	expansion des constr purs	filliatr	2001-04-23
*	nettoyage	filliatr	2001-04-20
*	remplace Zarith par ZArith	mohring	2001-04-19
*	documentation automatique de la bibliothèque standard	filliatr	2001-04-11
*	réparation d'un bug de Correctness: whd_programs ne doit pas réduire les te...	filliatr	2001-04-11
*	portage exemples Correctness; changement du nom de pred_of_minus dans coq_omega	filliatr	2001-04-10
*	réparation Correctness; options Extraction (changement de syntaxe)	filliatr	2001-04-10
*	exemples Correctness	filliatr	2001-04-09
*	branchement extraction en standard (pas de Require)	filliatr	2001-04-09
*	mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4	filliatr	2001-04-05
*	renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...	filliatr	2001-04-04
*	deux fichiers (past et ptype) uniquement sous forme de .mli	filliatr	2001-04-04
*	psyntax.ml4 sous CVS	filliatr	2001-04-03
*	branchement extraction (bytecode seulement)	filliatr	2001-03-30
*	mise en place de Correctness (ne compile pas encore)	filliatr	2001-03-29