summaryrefslogtreecommitdiff
path: root/tools/ocamlcp.ml
Commit message (Expand)AuthorAgeFilesLines
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout option -rectypesXavier Leroy1999-11-091-0/+1
* Encore des fixes pour le profilerDamien Doligez1999-09-141-1/+1
* ocamlcp.ml: ajout de l'option -dparsetree (pas encore implementee)Damien Doligez1999-09-081-0/+1
* patch de cregut pour les threads + transparent aux .mliDamien Doligez1999-08-031-2/+5
* Ajout de l'option -ccXavier Leroy1998-11-061-0/+1
* Pilotage des warnings.Pierre Weis1998-11-051-0/+1
* ocamlcp.ml: coherence de l'interface utilisateurDamien Doligez1998-11-041-4/+4
* ajout option -use_primsDamien Doligez1998-10-021-0/+1
* cosmetiqueDamien Doligez1998-08-071-6/+6
* Ajout option "-intf_suffix" pour spécifier le suffixe de l'interfaceDaniel de Rauglaudre1998-05-271-0/+1
* fix: profiling.cmo non linkeDamien Doligez1998-05-231-1/+1
* Ajout des options -make_runtime et -use_runtimeXavier Leroy1998-04-141-0/+2
* Bug double inclusion de profiling.cmo.Damien Doligez1998-04-061-31/+42
* Correction du parsing des arguments.Xavier Leroy1996-10-291-6/+3
* Changement du module Arg.Damien Doligez1996-10-241-21/+41
* MAJ.Xavier Leroy1996-06-111-2/+2
* MAJ des dependances. MAJ de ocamlcp.Xavier Leroy1996-05-111-27/+10
* Renommage en Objective CamlXavier Leroy1996-04-301-0/+67