summaryrefslogtreecommitdiff
path: root/utils/consistbl.mli
Commit message (Expand)AuthorAgeFilesLines
* Remplacement de is_bound par source pour les besoins d'ocamloptXavier Leroy2002-11-181-3/+4
* - Revu en profondeur la verification des CRC d'interfaces.Xavier Leroy2002-11-171-0/+59