summaryrefslogtreecommitdiffstats
path: root/utils/warnings.mli
AgeCommit message (Expand)Author
1999-11-17Changement de la licenceXavier Leroy
1999-10-29Partial match avec joli messageLuc Maranget
1999-10-21ajout warnings commentaires suspectsDamien Doligez
1998-11-05Tbl: ajout de la fonction mem qui teste si un élément donné est dansPierre Weis