aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Extension de EvenGravatar herbelin2001-12-21
* Extension de Even et Div2Gravatar herbelin2001-12-21
* *** empty log message ***Gravatar herbelin2001-12-21
* Ajout d'un exemple de ChristineGravatar herbelin2001-12-21
* Bug affichage '++' au lieu de ';'Gravatar herbelin2001-12-21
* *** empty log message ***Gravatar courant2001-12-21
* comment faire le .debGravatar courant2001-12-21
* preparation V7.2Gravatar courant2001-12-21
* paquet DebianGravatar courant2001-12-21
* maj CHANGES extraction + bug extraction & _Gravatar letouzey2001-12-21
* MAJGravatar herbelin2001-12-20
* Convertibilité au lieu d'alpha-équivalence pour les motifs non linéaires d...Gravatar herbelin2001-12-20
* Mise en place de la réduction sous forme d'implications d'atomes en fn de têteGravatar herbelin2001-12-20
* Utilisation de Hnf plutôt que RedGravatar herbelin2001-12-20
* Non dépliage des Fix non réductibles dans HnfGravatar herbelin2001-12-20
* Code mortGravatar herbelin2001-12-20
* Puisque Orelse semble lier moins que THEN, ajout d'un reduce après le OrelseGravatar herbelin2001-12-19
* Test sobriété de la réduction de IntuitionGravatar herbelin2001-12-19
* Test sobriété de la réduction de IntuitionGravatar herbelin2001-12-19
* MAJGravatar herbelin2001-12-19
* Bug de de Bruijn pour le LetInGravatar herbelin2001-12-19
* Insertion de Red sur chaque atome dans Tauto et IntuitionGravatar herbelin2001-12-19
* suppression de commentaires obsoletesGravatar letouzey2001-12-19
* contrib/interface/dad.ml4 had no real need of streams, it should have beenGravatar bertot2001-12-19
* debranchement du test sur les RealsGravatar letouzey2001-12-19
* *** empty log message ***Gravatar desmettr2001-12-19
* Changements RealsGravatar desmettr2001-12-19
* Modif précédente trop violente (cf test-suite/success/CasesDep.v)Gravatar herbelin2001-12-19
* Tentative d'amélioration du résultat de IntuitionGravatar herbelin2001-12-19
* Pour les développeurs extérieursGravatar herbelin2001-12-19
* MAJ GrammarGravatar herbelin2001-12-19
* MAJ 7.2Gravatar herbelin2001-12-19
* MAJ 7.2Gravatar herbelin2001-12-19
* MAJ nombre magiqueGravatar herbelin2001-12-19
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* MAJGravatar herbelin2001-12-19
* Corrections post contournement des streams avec ++Gravatar herbelin2001-12-19
* RéorganisationGravatar herbelin2001-12-19
* Pour les développeurs extérieursGravatar herbelin2001-12-19
* MAJ V7.2Gravatar herbelin2001-12-19
* MAJGravatar herbelin2001-12-19
* MAJGravatar herbelin2001-12-19
* NatRing (2ème)Gravatar herbelin2001-12-19
* NatRingGravatar herbelin2001-12-19
* Le cas LetIn avait été oublié dans case_branches_specifGravatar herbelin2001-12-19
* Un peu plus d'inférence des ? traitée par le CasesGravatar herbelin2001-12-19
* Insertion unification non seulement en tête mais à l'intérieur des motifs ...Gravatar herbelin2001-12-19
* reparation de make doc (ocamlweb & _)Gravatar letouzey2001-12-19
* the function Ctast.section_path was wrong. It performed two reverseGravatar bertot2001-12-18
* Pour ocamlweb ...Gravatar letouzey2001-12-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-03 12:27:53 +0000