From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA27588; Wed, 9 May 2001 12:59:00 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA27660 for ; Wed, 9 May 2001 12:59:00 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f49AwwX29235; Wed, 9 May 2001 12:58:58 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id MAA14066; Wed, 9 May 2001 12:58:58 +0200 (MET DST) Date: Wed, 9 May 2001 12:58:58 +0200 From: Markus Mottl To: Fabrice Le Fessant Cc: caml-list@inria.fr Subject: Re: [Caml-list] CDK binary release Message-ID: <20010509125858.B28402@miss.wu-wien.ac.at> References: <15094.25994.675673.222337@cremant.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <15094.25994.675673.222337@cremant.inria.fr>; from fabrice.le_fessant@inria.fr on Mon, May 07, 2001 at 11:06:18 +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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