> For Mac, I notice that there is a pre-compiled Mac binaries for
> the compiler:
>     http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09.0.dmg
> I presume that these are PowerPC binaries. Is that correct?

Yes.

> Is there likely to be a version soon targetting the Intel CPU soon?

The source distribution for 3.09.2 contains full support for MacOSX/Intel,
including native-code generation.  There are still a few small
ocamlopt bugs in this port, which I'm currently ironing out.

> So, on to GUIs. My GUI requirements are rather simple. In fact
> the lablTk libraries should do the trick. Has anyone actually
> done any Ocaml development with a lablTk GUI targeting all three
> platforms? If so, how did it work out?

In the standard distribution, there's ocamlbrowser, which has a
labltk-based GUI and works on all three platforms.

- Xavier Leroy