summaryrefslogtreecommitdiff
path: root/tools/profiling.mli
Commit message (Expand)AuthorAgeFilesLines
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-2/+2
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-1/+2
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Commentaires: Caml [Special] Light -> Objective CamlDamien Doligez1997-06-201-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Le module Profiling a ete sorti de la lib standard et mis ici.Xavier Leroy1995-11-131-0/+17