Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] CDK binary release
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-05-09 (10:59)
From: Markus Mottl <mottl@m...>
Subject: Re: [Caml-list] CDK binary release
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,,
To unsubscribe, mail  Archives: