English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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, 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