aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-03-28amelioration de la structure des universbarras
2001-03-27Interprétation des qualidargherbelin
2001-03-27conservation des arguments dans Prop (snif)filliatr
2001-03-27mise a jourfilliatr
2001-03-27extraction recursive d'un morceau d'environnementfilliatr
2001-03-27trace des inductifs sur Propletouzey
2001-03-26Bibliotheque Nummohring
2001-03-26cache pour les constantesfilliatr
2001-03-25ocaml 3.01 requisherbelin
2001-03-25Tag pour une beta3-ocaml3.01herbelin
2001-03-23MAJherbelin
2001-03-23MAJherbelin
2001-03-23Les règles d'affichage ajoutés dans le commit précédent avait le même no...herbelin
2001-03-23amelioration de la consommation memoire de la conversion en eta-expansantbarras
2001-03-23mise a jourfilliatr
2001-03-23eta-expansion des constructeurs si necessaire (a posteriori en miniML)filliatr
2001-03-23La strategie de recherche de lookup_eliminator etait insuffisanteherbelin
2001-03-23suppression des param dans inductifs. suite du Casesletouzey
2001-03-22Règle de syntaxe pour CASTEDCOMMANDherbelin
2001-03-22Problèmes de NewInductionherbelin
2001-03-22Bug MUTCASE au lieu CASEherbelin
2001-03-21Reecriture du extract_type pour Prod et Lambda. Eta-expansion dans les branch...letouzey
2001-03-21option -verbose a coqc; option -i suppriméefilliatr
2001-03-20affichage declarations fix + bug extraction sumbool_rec mis a jourfilliatr
2001-03-20mlutilfilliatr
2001-03-20extraction naive de fix et casefilliatr
2001-03-20Extract_term_with_type. mise a jour & verification des commentairesletouzey
2001-03-15entetesfilliatr
2001-03-15les options passées sont prioritaires sur les -I par défautfilliatr
2001-03-14MAJherbelin
2001-03-14Alias suite + bugs divers et variésherbelin
2001-03-14Prise en compte des Let dans l'instance des evarsherbelin
2001-03-14interface du extract_rec. Extract_constr prend un environnementletouzey
2001-03-14*** empty log message ***herbelin
2001-03-14Ajout syntaxe zarithherbelin
2001-03-14MAJherbelin
2001-03-13passage ocaml 3.01filliatr
2001-03-13signatures dans le bon ordrefilliatr
2001-03-13Finitefilliatr
2001-03-13simplification: plus de contexte pour extract_type et contexte simplifié pou...filliatr
2001-03-13suite de la verification des assert falseletouzey
2001-03-12Amélioration message d'erreur conditions de gardeherbelin
2001-03-12MAJherbelin
2001-03-12Ajout list_map3herbelin
2001-03-12Rien au lieu erreur si plusieurs cas par défaut; quasi-achèvement alias dé...herbelin
2001-03-12fin du letinletouzey
2001-03-12debut let infilliatr
2001-03-12mise a jour commentaires'filliatr
2001-03-12Commentaires. Verification des assert false. Probleme des types ML arity.letouzey
2001-03-11Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-12 13:08:42 +0000