coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	BIG MAJ Extraction:	letouzey	2003-04-16
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey	2002-12-09
*	code cleanup (+ debut de commencement de modules)	letouzey	2002-12-05
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Gros Remaniement Extraction:	letouzey	2002-07-16
*	reparation du cas des arguments de type qui sont des arités + patch dummy ap...	letouzey	2002-03-28
*	Refonte complete de la génération des types ML	letouzey	2002-03-26
*	gros commit: principalement ajout des lambdas arity + leur optimisation en te...	letouzey	2002-03-15
*	cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...	letouzey	2002-03-05
*	Big commit extraction:	letouzey	2002-03-04
*	Revolution culturelle: suppression des arguments prop	letouzey	2001-11-14
*	Refonte de extraction.ml. Traitement dans mlutil.ml des Empty Inductive (Texn)	letouzey	2001-11-12
*	GROS COMMIT:	barras	2001-11-05
*	nouvelle gestion des variables de type ML	letouzey	2001-04-12
*	implification de extract_constr et extract_term	letouzey	2001-04-04
*	documentation	filliatr	2001-04-04
*	extraction modulaire + environnement des Fix corrigé	filliatr	2001-03-30
*	changement type_var et signature	filliatr	2001-03-28
*	Extract_term_with_type. mise a jour & verification des commentaires	letouzey	2001-03-20
*	entetes	filliatr	2001-03-15
*	interface du extract_rec. Extract_constr prend un environnement	letouzey	2001-03-14
*	ajout Vprop, Tprop et Eprop	filliatr	2001-02-26
*	extraction des types et des inductifs	filliatr	2001-02-22
*	nouveau design ou le renommage sera fait a posteriori	filliatr	2001-02-21
*	mise en place fichiers extraction	filliatr	2001-02-20
*	mise en place extraction	filliatr	2001-02-06