coq - The formal proof system

Age	Commit message (Expand)	Author
2001-04-20	nettoyage	filliatr
2001-04-19	remplace Zarith par ZArith	mohring
2001-04-11	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-10	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-09	exemples Correctness	filliatr
2001-04-09	branchement extraction en standard (pas de Require)	filliatr
2001-04-05	mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4	filliatr
2001-04-04	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-03	psyntax.ml4 sous CVS	filliatr
2001-03-30	branchement extraction (bytecode seulement)	filliatr
2001-03-29	mise en place de Correctness (ne compile pas encore)	filliatr