Xavier Leroy
|
429efbf7c2
|
Ajout Sys.executable_name, laisser Sys.argv.(0) inchange (PR#817)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-11 13:51:40 +00:00 |
|
Xavier Leroy
|
7501784c80
|
MAJ en-tetes pour mentionner la 'special exception' sur la LGPL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-07 13:41:02 +00:00 |
|
Xavier Leroy
|
fce4bbc16a
|
\n manquant dans un message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-26 15:54:33 +00:00 |
|
Xavier Leroy
|
320487c59f
|
Revu gestion des backtrace; suppression de RERAISE, utiliser l'adresse de l'objet exception a la place
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4040 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-26 12:47:03 +00:00 |
|
Xavier Leroy
|
2f7123618c
|
Ajout de flush_all + modifs pour Cash (Bruno Verlyck)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3872 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-10-09 15:14:01 +00:00 |
|
Xavier Leroy
|
53124fce8c
|
Imprimer un petit message si pas d'infos de debug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-10-09 14:02:23 +00:00 |
|
Xavier Leroy
|
d4a8bd81f6
|
Suppression variables inutiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-24 12:45:55 +00:00 |
|
Xavier Leroy
|
ddd99c7e5d
|
Chargement dynamique de primitives C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-08-28 14:47:48 +00:00 |
|
Xavier Leroy
|
f0e7035637
|
Revu backtrace pour que ca marche avec des threads. Ajout et utilisation de printexc.h
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-06-15 14:22:38 +00:00 |
|
Xavier Leroy
|
4b84fcf843
|
Ajout du backtrace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-02-19 12:29:00 +00:00 |