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 PAA05708; Tue, 9 Mar 2004 15:04:18 +0100 (MET) 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 PAA04045 for ; Tue, 9 Mar 2004 15:04:17 +0100 (MET) Received: from mail3.epfl.ch (mail3.epfl.ch [128.178.50.19]) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i29E4YKW005908 for ; Tue, 9 Mar 2004 15:04:34 +0100 Received: (qmail 8917 invoked by uid 107); 9 Mar 2004 14:04:15 -0000 Received: from mailav2.epfl.ch (HELO mailav2) (128.178.50.191) by mail3.epfl.ch with SMTP; 9 Mar 2004 14:04:15 -0000 Received: From mail0.epfl.ch ([128.178.50.57]) by mailav2 (WebShield SMTP v4.5 MR1a); id 1078840832176; Tue, 9 Mar 2004 15:00:32 +0100 Received: from lcmpc4.epfl.ch (128.178.8.59) by mail0.epfl.ch (AngelmatoPhylax SMTP proxy); Tue, 09 Mar 2004 15:04:15 +0100 Date: Tue, 9 Mar 2004 15:04:15 +0100 (CET) From: Henri DF X-X-Sender: henridf@lcmpc4.epfl.ch To: Olivier Andrieu cc: Hendrik Tews , Subject: Re: [Caml-list] trouble with the caml-list search interface In-Reply-To: <16461.51727.719521.54671@akasha.ijm.jussieu.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 andrieu:01 2004:99 ranked:99 afa:99 caml:01 caml:01 groups:01 groups:01 olivier:02 string:03 henri:03 henri:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 85 not sure it's a good idea to search through google's version of fa.caml. at least it wasn't accurate last year: http://caml.inria.fr/archives/200304/msg00226.html henri On Tue, 9 Mar 2004, Olivier Andrieu wrote: > Richard Jones [Tuesday 9 March 2004] : > > > > Google is your friend: > > > > http://www.google.com/search?q=site%3Acaml.inria.fr+inurl%3Aarchives+%22Xavier+Leroy%22+List.map > > > > The message you want is ranked #8 in the results. > > much better, use Google Groups with this search string: > > group:fa.caml author:"Xavier Leroy" List.map > > http://groups.google.com/groups?q=group%3Afa.caml%20author%3A%22Xavier%20Leroy%22%20List.map > > ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners