summaryrefslogtreecommitdiff
path: root/tools/profiling.mli
Commit message (Collapse)AuthorAgeFilesLines
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-2/+2
|
* Update headers for the new license.Damien Doligez2016-02-181-13/+15
| | | | Remains to be done: remove all headers in testsuite/tests.
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Commentaires: Caml [Special] Light -> Objective CamlDamien Doligez1997-06-201-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Le module Profiling a ete sorti de la lib standard et mis ici.Xavier Leroy1995-11-131-0/+17
Raison: qd on linke en -linkall (e.g. pour le toplevel), on ne veut pas linker Profiling systematiquement. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02