delta/ocaml.git/debugger/debugger_config.mli, branch flambda github.com: ocaml/ocaml debugger: fix environment bug and remove confirmation at quit 2013-12-19T14:23:49+00:00 Damien Doligez damien.doligez-inria.fr 2013-12-19T14:23:49+00:00 cca1fc17f4dc5a41a769e8872d5750dda42b5926 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
remove all $Id keywords 2012-10-15T17:50:56+00:00 Damien Doligez damien.doligez-inria.fr 2012-10-15T17:50:56+00:00 def31744f996fecdb187d43de38ddae2ff3ab881 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge version 3.12 from 3.12.1 to r12205 2012-03-08T19:52:03+00:00 Damien Doligez damien.doligez-inria.fr 2012-03-08T19:52:03+00:00 6c24f4f90b23e8c4536281d31461adfe5a15b739 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27T14:17:02+00:00 Damien Doligez damien.doligez-inria.fr 2011-07-27T14:17:02+00:00 3b507dd1aa286684543a35cc7da763feebf9aa8d git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
clean up spaces and tabs 2010-01-22T12:48:24+00:00 Damien Doligez damien.doligez-inria.fr 2010-01-22T12:48:24+00:00 04b1656222698bd7e92f213e9a718b7a4185643a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge changes from ocaml3110 to ocaml3111rc0 2009-05-20T11:52:42+00:00 Damien Doligez damien.doligez-inria.fr 2009-05-20T11:52:42+00:00 ed32f569e3b636e0f12efdbbd5bba9e05cc434ac git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
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. 2002-11-17T16:42:12+00:00 Xavier Leroy xavier.leroy@inria.fr 2002-11-17T16:42:12+00:00 5e152f79453c9f5678f92b02851ff897839f93f5 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 
  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#1202 2002-10-29T17:53:24+00:00 Damien Doligez damien.doligez-inria.fr 2002-10-29T17:53:24+00:00 e22208ccca187836a4f17199319f1d9c21ea75f3 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Changement de la licence 1999-11-17T18:59:06+00:00 Xavier Leroy xavier.leroy@inria.fr 1999-11-17T18:59:06+00:00 cc0f32b05439bb7018e8ad62a54d6371b01aab9f git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Ajout de load_printer, install_printer, remove_printer. 1997-02-14T16:30:00+00:00 Xavier Leroy xavier.leroy@inria.fr 1997-02-14T16:30:00+00:00 c49cbe678ad3f976bb88652180dc982b366de990 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 
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