From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3C1097EE51 for ; Sun, 26 May 2013 13:35:28 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of toolslive@yahoo.com) identity=pra; client-ip=98.138.91.246; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="toolslive@yahoo.com"; x-sender="toolslive@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of toolslive@yahoo.com) identity=mailfrom; client-ip=98.138.91.246; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="toolslive@yahoo.com"; x-sender="toolslive@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm24-vm5.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.246; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="toolslive@yahoo.com"; x-sender="postmaster@nm24-vm5.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYKACTyoVFiilv2YGdsb2JhbABNDYJERGQbrw+EWI5RFgMYCgsIEyIHgh4XIBUBAhUWDAEUCAFxAQ4BBhiIDQEBAg8EnQ2GbIhMCYJ0g18BIwMBIwOIbQEGCgEBAZJrA4c4gWeFaIg7hhcvUohSb4QP X-IPAS-Result: AhYKACTyoVFiilv2YGdsb2JhbABNDYJERGQbrw+EWI5RFgMYCgsIEyIHgh4XIBUBAhUWDAEUCAFxAQ4BBhiIDQEBAg8EnQ2GbIhMCYJ0g18BIwMBIwOIbQEGCgEBAZJrA4c4gWeFaIg7hhcvUohSb4QP X-IronPort-AV: E=Sophos;i="4.87,744,1363129200"; d="scan'208,217";a="15720216" Received: from nm24-vm5.bullet.mail.ne1.yahoo.com ([98.138.91.246]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 May 2013 13:35:26 +0200 Received: from [98.138.226.177] by nm24.bullet.mail.ne1.yahoo.com with NNFMP; 26 May 2013 11:35:25 -0000 Received: from [98.138.86.156] by tm12.bullet.mail.ne1.yahoo.com with NNFMP; 26 May 2013 11:35:25 -0000 Received: from [127.0.0.1] by omp1014.mail.ne1.yahoo.com with NNFMP; 26 May 2013 11:35:25 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 770215.83970.bm@omp1014.mail.ne1.yahoo.com Received: (qmail 32479 invoked by uid 60001); 26 May 2013 11:35:25 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1369568125; bh=K5x1eBvcNH83bbpmGPFkyfiIv1lBG0Gt9MpT+Pb0dwY=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=vlP+aZRuct7LvUoOa1eF4bojLE9bocJBiiVTZVIzM7NPRO0DeAsZa5y8ahtJTlA0Pc26o26ilE3096VRExusRvE4r/zcRHJescHf9AmQ6S2pA3X4eiJu0X/8+fNCTP66CQFcCN64kisQ7k+U2kHTqI/woBkwGAPmeSVzMqBP4pA= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type; b=aDnEg/69vrUxcLbxNuGG2SBC/MWE690mbdxzuZBuySFUCPoxkddJiIymXRVatWEkZ/oU2IWZMnCfQ8OI3FIXXPQePP64soS+eNycdViAKjjtaQp5N2jGHGU+sC5k4qmYZ45PvJZ2dhPsZEmh8K0GFF7xaieUlWLZ60hSlDlJk74=; X-YMail-OSG: tyFvDjEVM1lLO0XQoIFrj9cmVGIxqtXYlSioP2UJRb5qkJG pvq_Ozy1z7HE_2ag9e8FJtA8j.sXrBXzypDRdilERx3g_asmBosxHgqDREKj gKsweltAt3f3QBMoEDHbGWAekez5l5eXVqAtOywT_vEbZPgjVUa4EUR_jR.L c.0x9vMcZIT3N4HV96FBrHMZCZpA_YNlQEhTvhqTPgLCXdgaGngzgD2uu_IA bSHfGkUaeVOMIiQCzNbSg0rOfXptscwe431UXdo2qSlL3f0r60iZzrcgRkw4 DLBi4.NYxv9d79PyulWqyuye17j3g6HCBZTkZV7qB53R7bHi07xnrzIqvavw jjPo5V7T_HqIfAkQn0f0cU1KgA0aJCalyL3Svbtn6m7HSMXi89LjYvQeW6WM g7Fju9F9w58mzFKlxtPQ2.MKfqb.6w8xkM0lSauO.ifyBVAIox0iqvN.YaWB aQqApS48aA3nPGrXnWsKZuPoXSjN1D0qOupq0hwHZ_.eidqyW4ojMDAEUm1s 2 Received: from [94.224.204.94] by web126105.mail.ne1.yahoo.com via HTTP; Sun, 26 May 2013 04:35:25 PDT X-Rocket-MIMEInfo: 002.001,R2VudGxlbWVuLAoKcGxlYXNlIGRvbid0IHJ1aW4gdGhpcyBncmVhdCBtYWlsaW5nIGxpc3QuCgpSb21haW4uATABAQEB X-Mailer: YahooMailWebService/0.8.144.546 Message-ID: <1369568125.32452.YahooMailNeo@web126105.mail.ne1.yahoo.com> Date: Sun, 26 May 2013 04:35:25 -0700 (PDT) From: tools Reply-To: tools To: "caml-list@inria.fr" MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="-588606924-1152057657-1369568125=:32452" Subject: [Caml-list] OCaml's variables ---588606924-1152057657-1369568125=:32452 Content-Type: text/plain; charset=us-ascii Gentlemen, please don't ruin this great mailing list. Romain. ---588606924-1152057657-1369568125=:32452 Content-Type: text/html; charset=us-ascii
Gentlemen,

please don't ruin this great mailing list.

Romain.
---588606924-1152057657-1369568125=:32452--