coq - The formal proof system

Age	Commit message (Expand)	Author
2003-02-21	bugs/améliorations trouvés via FTA	letouzey
2003-01-22	Extraction des modules, enfin !	letouzey
2002-12-19	suppression de l'archive cvs d'un bout de debug	letouzey
2002-12-18	stupide inlining des construsteurs	letouzey
2002-12-09	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey
2002-12-05	reorganisation des recherches de ref dans ml_decl	letouzey
2002-12-05	code cleanup (+ debut de commencement de modules)	letouzey
2002-11-29	2 bugs: 1) projections pas renommées 2) mutual fixpoints a l'envers	letouzey
2002-11-28	Re-Oups	letouzey
2002-11-28	Oups	letouzey
2002-11-28	Reorganisation du pretty-print:	letouzey
2002-11-04	un bug concernant l'expansion des Map_rec si Map n'est pas ouvert	letouzey
2002-11-04	nettoyage et reorganisation	letouzey
2002-10-31	L'extraction c'est magic cvs -n up	letouzey
2002-09-24	suite chgt liés aux modules	letouzey
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-07-24	reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_type	letouzey
2002-07-17	reparation temporaire(?) a coup de MLdummy'	letouzey
2002-07-16	Souci avec example fbidon...	letouzey
2002-07-16	Gros Remaniement Extraction:	letouzey
2002-04-12	petit bug avec dummy_lams	letouzey
2002-04-08	ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...	letouzey
2002-03-26	Refonte complete de la génération des types ML	letouzey
2002-03-21	modification de l'auto-inlining	letouzey
2002-03-20	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-19	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-15	epsilon	letouzey
2002-03-15	gros commit: principalement ajout des lambdas arity + leur optimisation en te...	letouzey
2002-03-05	cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...	letouzey
2002-03-04	Big commit extraction:	letouzey
2002-02-15	suite et fin (?) de haskell: gestion des modules, mise en place du'un test	letouzey
2002-02-14	qq inline manuels (sigS_rec ...) + utilisation de library_part	letouzey
2002-02-12	suppression de la condition de la permutation case/fun	letouzey
2002-02-12	Test & correction de la production de code Haskell	letouzey
2002-02-06	gros changement dans mlutil.ml: ajout d'une elimination globale des prop	letouzey
2002-02-05	Ajout d'optimisations locales kill_prop	letouzey
2001-12-21	maj CHANGES extraction + bug extraction & _	letouzey
2001-12-13	compat ocaml 3.03	filliatr
2001-12-10	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey
2001-11-20	iota généralisé	letouzey
2001-11-14	Revolution culturelle: suppression des arguments prop	letouzey
2001-11-12	suite du petit oups	letouzey
2001-11-12	Refonte de extraction.ml. Traitement dans mlutil.ml des Empty Inductive (Texn)	letouzey
2001-11-08	Deplacement de l'optim singleton depuis extraction vers mlutil. Autres modifs...	letouzey
2001-11-08	epsilon	letouzey
2001-11-07	Refonte du fichier mlutil.ml. Correction d'un bug d'optim case	letouzey
2001-11-05	optimisation consistant a parfois permuter case et fun	letouzey
2001-11-05	GROS COMMIT:	barras