delta/ocaml.git/debugger, branch dwarf

Fix PR#5708 : catch Failure "int_of_string" in ocamldebug

2012-07-31T13:19:01+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

clean up TABs and whitespace

2012-07-30T18:04:46+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Remove dependency from typing/envaux.ml to bytecomp/instruct.ml

2012-07-30T10:00:10+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge changes from 4.00 branching to 4.00.0 (part 1)

2012-07-26T19:21:54+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Fix problem of size of bin-annot files

2012-07-12T11:02:18+00:00

- Reset most of the fields of Env.t when saving bin-annot files
- Move debugger/envaux.ml to typing/, and add a function to 
    recover environements from bin-annot files.
- Move tools/typedtreeIter.ml to typing/
- Move the code of typing/typedtreeMap.ml from cmt_format.ml



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#5677: do not use "value" as identifier (genprintval.ml)

2012-07-10T15:03:11+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12690 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#5647: Cannot use install_printer in debugger

2012-07-09T12:40:43+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12672 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge with branch bin-annot

2012-05-30T14:52:37+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

PR#5585: typo explicitely -> explicitly

2012-04-13T12:44:29+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge version 3.12 from 3.12.1 to r12205

2012-03-08T19:52:03+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02