aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* List.map avec ordre des effets de bord garantiGravatar herbelin2002-01-18
* Le chargement des coercions est nécessaire même si le module n'est pas ouvertGravatar herbelin2002-01-18
* code redondant avec is_verboseGravatar herbelin2002-01-18
* modifs ZArith & ChineseGravatar letouzey2002-01-18
* ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...Gravatar letouzey2002-01-18
* *** empty log message ***Gravatar courant2002-01-18
* MAJGravatar herbelin2002-01-17
* Amélioration affichage échec lookup_eliminatorGravatar herbelin2002-01-17
* MAJGravatar herbelin2002-01-17
* correction de bug avec les mutuels imbriques a plusieurs niveauxGravatar barras2002-01-16
* Ajout d'un test sur les anonymes dépendant dans des arguments implicitesGravatar herbelin2002-01-16
* Correction d'un problème avec les motifs anonymes dépendant dans des argume...Gravatar herbelin2002-01-16
* MAJGravatar herbelin2002-01-15
* Mise de Intros id au format de Intro en forçant aussi la réduction si demandéGravatar herbelin2002-01-15
* Correction de de Bruijn incorrect pour le cas de dépendances vers l'avantGravatar herbelin2002-01-15
* Test le filtrage dépendant vers l'avantGravatar herbelin2002-01-15
* Soleil revenuGravatar herbelin2002-01-14
* OrthographeGravatar herbelin2002-01-11
* Pour déterminer sous Windows si ocaml est en version cygwin ou win32Gravatar herbelin2002-01-11
* Bugs et raffinementsGravatar herbelin2002-01-10
* Ajout flushGravatar herbelin2002-01-10
* MAJ ocaml 3.04 sur WindowsGravatar herbelin2002-01-10
* MAJ ocaml 3.04 sur WindowsGravatar herbelin2002-01-10
* Absence de soleilGravatar herbelin2002-01-10
* Modifs incongrues dans le précédent commitGravatar herbelin2002-01-10
* MAJ des Id pour coqwebGravatar herbelin2002-01-09
* RelectureGravatar herbelin2002-01-07
* MAJGravatar herbelin2002-01-07
* Ajout en-têteGravatar herbelin2002-01-07
* Report de la distrib en janvierGravatar herbelin2002-01-07
* Suppression de la dépendance des .vo en le nom physique des modulesGravatar herbelin2002-01-07
* MAJ 7.2Gravatar herbelin2001-12-28
* MAJGravatar herbelin2001-12-28
* MAJGravatar herbelin2001-12-28
* MAJGravatar herbelin2001-12-28
* MAJ adresse coqGravatar herbelin2001-12-28
* MAJGravatar herbelin2001-12-23
* Un ++ au lieu d'un ;Gravatar herbelin2001-12-21
* Passage coqwebGravatar herbelin2001-12-21
* Commentaire coqweb non ferméGravatar herbelin2001-12-21
* MAJ V7.2Gravatar herbelin2001-12-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 08:38:32 +0000