Commit Graph

10 Commits (38656255c9a3bfcc3c46d88990c743d3120d7318)

Author SHA1 Message Date
Xavier Leroy 03e89043b0 Pour le profiler, ajout de ".mlt" comme extension valide pour un
fichier source.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:37:23 +00:00
Xavier Leroy 7e691c81a6 Meilleur traitement des variables non generalisables.
Divers nettoyages pendant l'ecriture de la doc.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-02 18:55:37 +00:00
Xavier Leroy e4066357b1 Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 15:06:35 +00:00
Xavier Leroy 414572e80b MAJ par-rapport a Caml Light 0.7
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-08 13:37:34 +00:00
Xavier Leroy 5b5cb38a31 MAJ suite a la separation de compilos C pour le bytecode / pour le
compilo natif.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:41:46 +00:00
Xavier Leroy c7aa418757 Renommage de codegen -> bytegen, linker -> bytelink.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@54 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02 16:45:41 +00:00
Xavier Leroy e08124cf32 Ajout option -wlambda pour experiences.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-22 11:57:57 +00:00
Xavier Leroy 997fb206a7 Printf.sprintf et String.concat dans stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-05 10:05:18 +00:00
Xavier Leroy 623e2fbc00 Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 12:48:07 +00:00
Xavier Leroy 61bd8ace6b Passage a la version bootstrappee (franchissement du Rubicon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 10:15:53 +00:00