aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-01-18*** empty log message ***herbelin
2002-01-18Bug MERGE_EQherbelin
2002-01-18Bug commentaire (*i i*)herbelin
2002-01-18Pas d'assert false dans un try with !herbelin
2002-01-18amadouage de coqwebletouzey
2002-01-18Plusieurs arguments autorisés pour Require et Read Moduleherbelin
2002-01-18Plusieurs arguments autorisés pour Require et Read Module; mise en place d'u...herbelin
2002-01-18List.map avec ordre des effets de bord garantiherbelin
2002-01-18Le chargement des coercions est nécessaire même si le module n'est pas ouvertherbelin
2002-01-18code redondant avec is_verboseherbelin
2002-01-18modifs ZArith & Chineseletouzey
2002-01-18ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...letouzey
2002-01-18*** empty log message ***courant
2002-01-17MAJherbelin
2002-01-17Amélioration affichage échec lookup_eliminatorherbelin
2002-01-17MAJherbelin
2002-01-16correction de bug avec les mutuels imbriques a plusieurs niveauxbarras
2002-01-16Ajout d'un test sur les anonymes dépendant dans des arguments implicitesherbelin
2002-01-16Correction d'un problème avec les motifs anonymes dépendant dans des argume...herbelin
2002-01-15MAJherbelin
2002-01-15Mise de Intros id au format de Intro en forçant aussi la réduction si demandéherbelin
2002-01-15Correction de de Bruijn incorrect pour le cas de dépendances vers l'avantherbelin
2002-01-15Test le filtrage dépendant vers l'avantherbelin
2002-01-14Soleil revenuherbelin
2002-01-11Orthographeherbelin
2002-01-11Pour déterminer sous Windows si ocaml est en version cygwin ou win32herbelin
2002-01-10Bugs et raffinementsherbelin
2002-01-10Ajout flushherbelin
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2002-01-10Absence de soleilherbelin
2002-01-10Modifs incongrues dans le précédent commitherbelin
2002-01-09MAJ des Id pour coqwebherbelin
2002-01-07Relectureherbelin
2002-01-07MAJherbelin
2002-01-07Ajout en-têteherbelin
2002-01-07Report de la distrib en janvierherbelin
2002-01-07Suppression de la dépendance des .vo en le nom physique des modulesherbelin
2001-12-28MAJ 7.2herbelin
2001-12-28MAJherbelin
2001-12-28MAJherbelin
2001-12-28MAJherbelin
2001-12-28MAJ adresse coqherbelin
2001-12-23MAJherbelin
2001-12-21Un ++ au lieu d'un ;herbelin
2001-12-21Passage coqwebherbelin
2001-12-21Commentaire coqweb non ferméherbelin
2001-12-21MAJ V7.2herbelin
2001-12-21Extension de Evenherbelin
2001-12-21Extension de Even et Div2herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 17:00:21 +0000