On Mon, 07 May 2001, Fabrice Le Fessant wrote:
> We are pleased to announce a first (beta) binary release of the CDK
> for Linux.

Many thanks for your work!

> The CDK gathers a large set of libraries and programs implemented for
> Ocaml from different sources. Moreover, it provides an easy access
> to these libraries (using the cdk_config tool) and documentation
> (in particular, WEB and MAN pages).

I have just taken a look at the way documentation is handled. It would
be fine if there were some kind of standard way to prepare documentation
for OCaml-sources in general. It's otherwise a tremendous effort to
maintain various formats (and who likes writing documentation anyway? ;)

Is there any specific reason for inventing a new documentation tool? Why
not use e.g. Jean-Christophe Filliatre's ocamlweb?

How about the tool that INRIA uses? - Unfortunately, nobody has answered
may recent question on this here yet... :(

Best regards,
Markus Mottl

-- 
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr