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 RAA21691; Wed, 10 Oct 2001 17:26:07 +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 RAA21704 for <caml-list@pauillac.inria.fr>; Wed, 10 Oct 2001 17:26:06 +0200 (MET DST)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9AFQ3104598;
	Wed, 10 Oct 2001 17:26:03 +0200 (MET DST)
Received: from localhost (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.10.1/8.10.1) with SMTP id f9AFPsx14157;
	Wed, 10 Oct 2001 11:25:54 -0400 (EDT)
To: Sven <luther@dpt-info.u-strasbg.fr>
cc: Dave Berry <Dave@kal.com>, Maxence Guesdon <maxence.guesdon@inria.fr>,
        Jerome Vouillon <jerome.vouillon@inria.fr>,
        Francois Pottier <francois.pottier@inria.fr>, caml-list@inria.fr
Reply-to: bcpierce@cis.upenn.edu
Subject: Re: [Caml-list] Re: [Caml-announce] OCamldoc 
In-reply-to: Your message of Wed, 10 Oct 2001 15:33:39 +0200.
             <20011010153339.C3177@dpt-info.u-strasbg.fr> 
Date: Wed, 10 Oct 2001 11:25:54 EDT
Message-ID: <14155.1002727554@saul.cis.upenn.edu>
From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

I meant, of course

      (* Comment for f *)
  val f : t
      (* Comment for g *)    (* (not f) *)
  val g : t'

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