From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA16940 for caml-redistribution@pauillac.inria.fr; Wed, 19 Apr 2000 15:05:38 +0200 (MET DST) Resent-Message-Id: <200004191305.PAA16940@pauillac.inria.fr> 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 HAA28285 for ; Tue, 18 Apr 2000 07:54:09 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id HAA02153 for ; Tue, 18 Apr 2000 07:54:09 +0200 (MET DST) Received: (from fpottier@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA02567; Tue, 18 Apr 2000 07:54:09 +0200 (MET DST) Message-ID: <20000418075409.52889@pauillac.inria.fr> Date: Tue, 18 Apr 2000 07:54:09 +0200 From: Francois Pottier To: caml-list@inria.fr Subject: Re: When functional languages can be accepted by industry? Reply-To: Francois.Pottier@inria.fr References: <26F7C2E07274D311A6D80060080C3EEEA8D4B6@l-mhs5.lannion.cnet.fr> <20000417173547.04110@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <20000417173547.04110@pauillac.inria.fr>; from Xavier Leroy on Mon, Apr 17, 2000 at 05:35:47PM +0200 Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 19 Apr 2000 15:05:38 +0200 Resent-To: caml-redistribution@pauillac.inria.fr On Mon, Apr 17, 2000 at 05:35:47PM +0200, Xavier Leroy wrote: > This is true, a "camldoc" tool would be nice. May I advocate Jean-Christophe Filliâtre's excellent literate programming tool, ocamlweb? http://www.lri.fr/~filliatr/ocamlweb/ It nicely turns your O'Caml source code into a TeX document, including an identifier index. Comments are expected to contain TeX source. -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/