aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction
AgeCommit message (Expand)Author
2002-11-28suite et fin des records avec ocamlletouzey
2002-11-28 bug pp letin + un inductif constant n'est pas un recordletouzey
2002-11-28Re-Oupsletouzey
2002-11-28Oupsletouzey
2002-11-28Reorganisation du pretty-print:letouzey
2002-11-27Extraction des Record, suiteletouzey
2002-11-26debut de support des records camlletouzey
2002-11-25correction bug n°191letouzey
2002-11-25cleanup table.ml + erreur si Extraction Inline sous sectionletouzey
2002-11-18remaniement de test_extraction.vletouzey
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-05cosmetiqueletouzey
2002-11-04un bug concernant l'expansion des Map_rec si Map n'est pas ouvertletouzey
2002-11-04nettoyage et reorganisationletouzey
2002-11-04maj avec tous les mliletouzey
2002-11-04Un fichier a utiliser via Drop pour le debug de l'extraction.letouzey
2002-10-31L'extraction c'est magic cvs -n upletouzey
2002-10-07Lazy manuelles dans le codecoq
2002-10-05Lazy experimentale temporaire...coq
2002-09-24suite chgt liés aux modulesletouzey
2002-08-02Modules dans COQ\!\!\!\!coq
2002-07-24reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_typeletouzey
2002-07-17reparation temporaire(?) a coup de MLdummy'letouzey
2002-07-16majletouzey
2002-07-16Pour ocamlwebletouzey
2002-07-16Souci avec example fbidon...letouzey
2002-07-16petit bug lors du passage d'hugoletouzey
2002-07-16Gros Remaniement Extraction:letouzey
2002-06-07extraction vers schemeletouzey
2002-06-05Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...herbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2002-04-24petit bug dans les noms de fichiersletouzey
2002-04-18*** empty log message ***letouzey
2002-04-15maj doc extraction dans repertoire contrib/extractionletouzey
2002-04-12maj test des realsletouzey
2002-04-12petit bug avec dummy_lamsletouzey
2002-04-08extraction.mlletouzey
2002-04-08babioles de renommagesletouzey
2002-04-08ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...letouzey
2002-04-08export de la fonction Reductionops.find_conclusion pour l'extractionletouzey
2002-04-05mise jourfilliatr
2002-03-28reparation du cas des arguments de type qui sont des arités + patch dummy ap...letouzey
2002-03-26Refonte complete de la génération des types MLletouzey
2002-03-21reparation du test des realsletouzey
2002-03-21considerations de pretty-printletouzey
2002-03-21deux fichiers supplementaires de customisation d'extractionletouzey
2002-03-21changement du test extraction suite aux modif ininingletouzey
2002-03-21modification de l'auto-inliningletouzey
2002-03-20renversement du renommage des variablesletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 12:37:37 +0000