summaryrefslogtreecommitdiff
path: root/tools/primreq.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use open Cmo_format instead of open Emitcode for objinfo and primreq toolsNicolas Pouillard2006-07-051-1/+1
* suppression Printexc.catchDamien Doligez2005-06-221-2/+2
* Adaptation au nouveau format de .cma, suiteXavier Leroy2000-03-271-2/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de primreqXavier Leroy1999-03-141-0/+89