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 UAA06801; Thu, 23 Aug 2001 20:28:19 +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 UAA06774 for ; Thu, 23 Aug 2001 20:28:18 +0200 (MET DST) Received: from smtp1.cswv.com (smtp1.cswv.com [4.17.129.17]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f7NISHH03123 for ; Thu, 23 Aug 2001 20:28:17 +0200 (MET DST) Received: from smtp1.cswv.com ([4.17.129.17]) by smtp1.cswv.com with Microsoft SMTPSVC(5.5.1877.197.19); Thu, 23 Aug 2001 14:29:24 -0400 Received: FROM exchange1.cswv.com BY smtp1.cswv.com ; Thu Aug 23 14:29:23 2001 -0400 Received: by exchange1.cswv.com with Internet Mail Service (5.5.2653.19) id ; Thu, 23 Aug 2001 14:32:17 -0400 Message-ID: From: "Krishnaswami, Neel" To: Caml list Subject: Re: [Caml-list] Libraries in the distribution Date: Thu, 23 Aug 2001 14:32:09 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Markus Mottl [mailto:markus@mail4.ai.univie.ac.at] wrote: > > > Development of "social tools" would certainly be very beneficial for > industrial use: fewer hassles for employed programmers, more available > software, potentially more OCaml-programmers that can be hired, etc. > I don't think it would be terribly expensive to let somebody > do it. The Consortium should be very interested in funding such efforts. Speaking of social tools, I've noticed that a lot of OCaml packages all have TeX documentation with a certain common style. Are those style files available publically anywhere, and if so, could someone point me to them? I've held off contributing some packages because I don't want to write documentation that "looks wrong". -- Neel Krishnaswami neelk@cswcasa.com ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr