From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 88794BC69 for ; Wed, 21 Feb 2007 03:24:38 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1L2ObSI023741 for ; Wed, 21 Feb 2007 03:24:38 +0100 Received: by ug-out-1314.google.com with SMTP id q2so995090uge for ; Tue, 20 Feb 2007 18:24:37 -0800 (PST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=Gib5rytYAuRbLINNr8fw/kk5K0EEmzuGRC5XcsIL4giAdWdtJa+QRfBGjSHLfgCETMrB53EtJRotaRtMsbtR7UcCqgkBsqbQsIsARHH2jlkDYREm77Kf3V3N84qytLxvlBU9nek8If9Ei18bDGyGPi0bT6Ih+kzzaC2x88EejWs= Received: by 10.78.47.15 with SMTP id u15mr1320860huu.1172024676912; Tue, 20 Feb 2007 18:24:36 -0800 (PST) Received: by 10.78.172.7 with HTTP; Tue, 20 Feb 2007 18:24:36 -0800 (PST) Message-ID: <8b4c81f0702201824v735ff418o3a0f22eb04bb66e1@mail.gmail.com> Date: Wed, 21 Feb 2007 00:24:36 -0200 From: "Henry Lenzi" To: caml-list@yquem.inria.fr Subject: Where is Baire MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 45DBAD65.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45DBAD65.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; pointers:01 data:02 caml:02 structures:02 library:03 tia:06 does:14 www:84 called:16 there:18 anyone:21 list:22 that:23 it's:23 com:74 Hi -- I remember that at: http://www.edite-de-paris.com.fr/~fpons/Caml/Baire/ there existed a data structures library called Baire. It's gone now, and I google to no avail. Does anyone have any pointers, or is the author in this list, and willing to share with us a URL? TIA Henry Lenzi