summaryrefslogtreecommitdiff
path: root/toplevel/topmain.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Minimiser les dependances sur toplevellib.cma dans les toplevels crees par oc...Xavier Leroy2002-04-241-0/+17