tagging release 4.00.1

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

Tagging release 4.00.0 (at last!)

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

tagging 4.00.0+rc1 (at last)

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+rc1@12743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging 4.00.0+beta2

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+beta2@12567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging 4.00.0+beta1

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+beta1@12539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging release 3.12.1

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

tagging release 3.12.1+rc1

git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.12.1+rc1@11094 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

at last, release 3.12.0

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

Release Candidate for 3.12.0

git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.12.0+rc1@10630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Force terminal to "DUMP" for reproducible test cases.

git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.12.0+beta1@10595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02