ocaml/tools
Xavier Leroy e0de38ba60 Adaptation au nouveau format de .cma, suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-27 12:18:09 +00:00
..
.cvsignore Merge olabl branch 1999-11-30 16:07:38 +00:00
.depend MAJ dependances 2000-03-09 16:06:36 +00:00
Characters ajout $id 1999-11-29 19:04:21 +00:00
DoMake ajout $id, option -f 1999-11-29 19:04:23 +00:00
MakeDepend ajout $id, changement de technologie 1999-11-29 19:04:25 +00:00
Makefile Nouveau format extensible d'executables bytecode 2000-03-05 19:18:50 +00:00
Makefile.Mac MacOS 2000-03-13 20:34:47 +00:00
Makefile.Mac.depend MacOS 2000-03-13 20:34:47 +00:00
Makefile.nt MAJ portage Win32 2000-03-16 13:35:20 +00:00
OCamlc-custom Portage Mac/MPW 1996-11-02 18:05:24 +00:00
Time Macintosh 1998-07-04 17:32:15 +00:00
cvt_emit.mll Changement de la licence 1999-11-17 18:59:06 +00:00
dumpapprox.ml Rectification d'un format 2000-02-28 15:47:05 +00:00
dumpobj.ml Nouveau format extensible d'executables bytecode 2000-03-05 19:18:50 +00:00
keywords.r MacOS: coloriage syntaxique 1999-11-29 19:17:20 +00:00
make-opcodes Passage a la version bootstrappee (franchissement du Rubicon) 1995-05-04 10:15:53 +00:00
make-opcodes.Mac Portage Mac/MPW 1996-11-02 18:05:24 +00:00
objinfo.ml Adaptation au nouveau format de .cma, suite 2000-03-27 12:18:09 +00:00
ocaml2to3.mll detabisation 2000-01-07 16:47:25 +00:00
ocamlcp.ml re-renommange: "-label" -> "-labels" 2000-03-24 19:31:25 +00:00
ocamldep.ml typo 2000-03-13 05:20:50 +00:00
ocamlmktop.ml Changement de la licence 1999-11-17 18:59:06 +00:00
ocamlmktop.tpl ajout notice de copyright; MacOS: utilisation de ToolServer 1999-11-29 19:04:40 +00:00
ocamlprof.ml Revu les impressions du compilateur 2000-03-06 22:12:09 +00:00
ocamlsize MAJ nouveau format d'executables 2000-03-12 13:10:04 +00:00
primreq.ml Adaptation au nouveau format de .cma, suite 2000-03-27 12:18:09 +00:00
profiling.ml Changement de la licence 1999-11-17 18:59:06 +00:00
profiling.mli Changement de la licence 1999-11-17 18:59:06 +00:00