summaryrefslogtreecommitdiff
path: root/tools/objinfo.ml
Commit message (Expand)AuthorAgeFilesLines
* PR#4949 print C object files in linking orderDamien Doligez2010-01-071-1/+2
* Use open Cmo_format instead of open Emitcode for objinfo and primreq toolsNicolas Pouillard2006-07-051-1/+1
* PR#3669: suppression de Printexc.catchDamien Doligez2005-06-221-4/+3
* fix warningJacques Garrigue2005-06-011-2/+1
* Adaptation au nouveau format de .cma, suiteXavier Leroy2000-03-271-2/+14
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Dump des CRCs dans les .cmiXavier Leroy1998-12-021-0/+15
* Nouvelle gestion du CRC de l'interfaceXavier Leroy1997-05-151-2/+0
* Dumper les .cma aussi.Xavier Leroy1996-09-091-12/+23
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Dans les .cmo, on garde trace des primitives declarees dans le module. Du cou...Xavier Leroy1995-11-051-2/+9
* Nouveau format de .cmo (utilisation de MD5, detection unsafe)Xavier Leroy1995-10-091-0/+57