ongoing mods
bug fixes for untypeast -> retype
add missing spaces in ocamldoc man page

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Cherry-picking r14877 from trunk:

Liveness & Deadcode: fix i386-specific issue with move instructions accessing
  the x87 FP stack, which must not be eliminated.
CSEgen: harden against the same x87-specific issue + against reuse of
  values in fixed hardware registers that were destroyed by a prior
  operation.


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ignore generated files

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14879 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
stdlib/buffer.mli: typo
stdlib/bytes.{ml,mli}: add a few functions
stdlib/string.{ml,mli}: move [blit] to module Bytes, deprecate [copy]


git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14880 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
add the name of the next version

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6408: Optional arguments given as ~?arg instead of ?arg in message

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6408: Optional arguments given as ~?arg instead of ?arg in message

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
update .depend

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix forgotten test

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
last forgotten test

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6332: Unix.open_process fails to pass empty arguments under Windows

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6427: Soundness bug involving unpacking, functors and abstract module types

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#5371: a partial patch by Edwin Török to fix the FreeBSD failure

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
last commit before tagging 4.02.0+beta1

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
increment version number after tagging 4.02.0+beta1

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14893 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
increment version number after tagging 4.02.0+beta1 (really, this time)

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#6435: segfault with shadowing/include

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@14896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
format+gadts: make format types "relational" to fix %(...%) typing

See the long comment in pervasives.ml for an explanation of the
change. The short summary is that we need to prove more elaborate
properties between the format types involved in the typing of %(...%),
and that proving things by writing GADT functions in OCaml reveals
that Coq's Ltac is a miracle of usability.

Proofs on OCaml GADTs are runtime functions that do have a runtime
semantics: it is legitimate to hope that those proof computations are
as simple as possible, but the current implementation was optimized
for feasability, not simplicity. François Bobot has some interesting
suggestions to simplify the reasoning part (with more equality
reasoning where I used transitivity and symmetry of the
relation profusely), which may make the code simpler in the future
(and possibly more efficient: the hope is that only %(...%) users will
pay a proof-related cost).

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