coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	travail sur les types extraits	letouzey	2004-12-09
*	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot	2004-11-16
*	un paquet de corrections de bugs	letouzey	2004-10-04
*	Nouvelle en-tête	herbelin	2004-07-16
*	Modules et Records: gros changements pour prendre en compte le nouveau mind_r...	letouzey	2004-06-28
*	nouvelle commande Set Extraction Flag: reglage fins des optims	letouzey	2004-03-24
*	correction d'un bug faisant inliner minus, mult, ...	letouzey	2004-03-22
*	petit bug avec Extraction Optimize	letouzey	2004-02-13
*	révision du traitement des axiomes non réalisés	letouzey	2003-11-10
*	bug dans calcul nb d'occurrences	letouzey	2003-09-05
*	bug typage du cases/identity: optim off si inductif avec vars	letouzey	2003-07-10
*	interaction entre fun/case permut et assert false	letouzey	2003-06-08
*	oups	letouzey	2003-05-30
*	gestion plus fine des beta-redex lineaires (cf nb_occur_match)	letouzey	2003-05-28
*	adaptation a Acc_iter	letouzey	2003-04-28
*	BIG MAJ Extraction:	letouzey	2003-04-16
*	bugs/améliorations trouvés via FTA	letouzey	2003-02-21
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	suppression de l'archive cvs d'un bout de debug	letouzey	2002-12-19
*	stupide inlining des construsteurs	letouzey	2002-12-18
*	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey	2002-12-09
*	reorganisation des recherches de ref dans ml_decl	letouzey	2002-12-05
*	code cleanup (+ debut de commencement de modules)	letouzey	2002-12-05
*	2 bugs: 1) projections pas renommées 2) mutual fixpoints a l'envers	letouzey	2002-11-29
*	Re-Oups	letouzey	2002-11-28
*	Oups	letouzey	2002-11-28
*	Reorganisation du pretty-print:	letouzey	2002-11-28
*	un bug concernant l'expansion des Map_rec si Map n'est pas ouvert	letouzey	2002-11-04
*	nettoyage et reorganisation	letouzey	2002-11-04
*	L'extraction c'est magic cvs -n up	letouzey	2002-10-31
*	suite chgt liés aux modules	letouzey	2002-09-24
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_type	letouzey	2002-07-24
*	reparation temporaire(?) a coup de MLdummy'	letouzey	2002-07-17
*	Souci avec example fbidon...	letouzey	2002-07-16
*	Gros Remaniement Extraction:	letouzey	2002-07-16
*	petit bug avec dummy_lams	letouzey	2002-04-12
*	ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...	letouzey	2002-04-08
*	Refonte complete de la génération des types ML	letouzey	2002-03-26
*	modification de l'auto-inlining	letouzey	2002-03-21
*	reparation du controle de l'apparition des termes	letouzey	2002-03-20
*	reorganisation des simplifications: letin eta-expansé apres le kill-dummy	letouzey	2002-03-20
*	bug optimize_fix fait trop tot	letouzey	2002-03-19
*	remplacement des deux constants prop/arity par une seule dummy + pretty-print...	letouzey	2002-03-19
*	epsilon	letouzey	2002-03-15
*	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
*	suite et fin (?) de haskell: gestion des modules, mise en place du'un test	letouzey	2002-02-15
*	qq inline manuels (sigS_rec ...) + utilisation de library_part	letouzey	2002-02-14