summaryrefslogtreecommitdiff
path: root/debugger/debugger_config.mli
Commit message (Collapse)AuthorAgeFilesLines
* clean up spaces and tabsDamien Doligez2010-01-221-1/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-201-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* - Revu en profondeur la verification des CRC d'interfaces.Xavier Leroy2002-11-171-2/+0
| | | | | | | | | | | | Cela corrige le PR#1064. - Les CRC des modules constituant un programme sont stockes dans l'executable bytecode, section CRCS. Revu Dynlink pour utiliser ces CRC au lieu d'attendre de l'utilisateur qu'il les fournisse. MAJ du debugger en consequence. - Introduction et utilisation du fichier stdlib/StdlibModules. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix PR#1202Damien Doligez2002-10-291-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de load_printer, install_printer, remove_printer.Xavier Leroy1997-02-141-0/+3
| | | | | | | Program_loading: utiliser setsid() pour detacher le debuggee du terminal. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Premier jet du portage OCamlXavier Leroy1996-11-291-0/+33
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02