This is the new OCaml, with Yaakov's fixes and suggestions. Please upload, and delete 3.12.0-3, keeping 3.08.1-1 as previous.
Thanks -- Damien wget -x -nH --cut-dirs=1 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-4-src.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-base-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-camlp4-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-compiler-libs-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/emacs-ocaml-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/setup.hint \ http://planar.free.fr/cygwin/ocaml/base.hint \ http://planar.free.fr/cygwin/ocaml/camlp4.hint \ http://planar.free.fr/cygwin/ocaml/compiler-libs.hint \ http://planar.free.fr/cygwin/ocaml/emacs.hint