coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2008-11-06	Cosmetic: no more whitespace at end of lines in extraction files	letouzey
2007-11-21	Extraction inlines Wf.Fix by default (wish of Y.Bertot)	letouzey
2007-10-21	Avoid the auto-inlining of small fixpoints like List.map.	letouzey
2007-10-06	Extraction: factorisation of identical branches in a match	letouzey
2006-06-01	reparation bug #1128	letouzey
2006-04-20	decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)	letouzey
2005-11-17	merci les warnings de 3.09 ...	letouzey
2005-08-19	Sur le conseil de X.Leroy: x=[\|\|] devient Array.length x=0	letouzey
2004-12-09	travail sur les types extraits	letouzey
2004-11-16	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot
2004-10-04	un paquet de corrections de bugs	letouzey
2004-07-16	Nouvelle en-tête	herbelin
2004-06-28	Modules et Records: gros changements pour prendre en compte le nouveau mind_r...	letouzey
2004-03-24	nouvelle commande Set Extraction Flag: reglage fins des optims	letouzey
2004-03-22	correction d'un bug faisant inliner minus, mult, ...	letouzey
2004-02-13	petit bug avec Extraction Optimize	letouzey
2003-11-10	révision du traitement des axiomes non réalisés	letouzey
2003-09-05	bug dans calcul nb d'occurrences	letouzey
2003-07-10	bug typage du cases/identity: optim off si inductif avec vars	letouzey
2003-06-08	interaction entre fun/case permut et assert false	letouzey
2003-05-30	oups	letouzey
2003-05-28	gestion plus fine des beta-redex lineaires (cf nb_occur_match)	letouzey
2003-04-28	adaptation a Acc_iter	letouzey
2003-04-16	BIG MAJ Extraction:	letouzey
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