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 TAA24242; Fri, 12 Oct 2001 19:28:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA24253 for ; Fri, 12 Oct 2001 19:28:30 +0200 (MET DST) Received: from alan-schm1p.inria.fr (adsl166-99.mangoosta.fr [217.11.166.99]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9CHSTD26051 for ; Fri, 12 Oct 2001 19:28:29 +0200 (MET DST) Received: by alan-schm1p.inria.fr (Postfix, from userid 11207) id 5AB1923646; Fri, 12 Oct 2001 19:23:30 +0200 (CEST) Date: Fri, 12 Oct 2001 19:23:30 +0200 From: Alan Schmitt To: caml-list@inria.fr Subject: Re: [Caml-list] Re: [Caml-announce] OCamldoc Message-ID: <20011012192329.F1899@alan-schm1p> Mail-Followup-To: caml-list@inria.fr References: <20011012105724.A31047@morgon.inria.fr> <26318.1002882983@saul.cis.upenn.edu> <20011012151319.A16917@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Mutt/1.2.5i In-Reply-To: <20011012151319.A16917@pauillac.inria.fr>; from francois.pottier@inria.fr on ven, oct 12, 2001 at 03:13:19 +0200 X-Editor: Vim http://vim.sf.net/ X-Info: http://pauillac.inria.fr/~aschmitt/ X-Operating-System: Linux/2.4.7 (i686) X-Uptime: 7:22pm up 2 days, 17:30, 1 user, load average: 0.00, 0.03, 0.04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk * Francois Pottier (francois.pottier@inria.fr) wrote: > I'll second J=E9r=F4me's suggestion for (** *) and (* **). I'll third (or maybe fourth) it then ;-) Alan -- The hacker: someone who figured things out and made something cool happen. ------------------- 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