summaryrefslogtreecommitdiffstats
path: root/utils/warnings.mli
AgeCommit message (Collapse)Author
1999-11-17Changement de la licenceXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-29Partial match avec joli messageLuc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-10-21ajout warnings commentaires suspectsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-05Tbl: ajout de la fonction mem qui teste si un élément donné est dansPierre Weis
la table. Warnings: ajout du pilotage des warnings par l'utilisateur. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02