From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path:
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
by sympa.inria.fr (Postfix) with ESMTPS id CA6967ED7A
for ; Thu, 20 Sep 2012 22:51:37 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
authenticity information available from domain of
p.donadeo@gmail.com) identity=pra; client-ip=209.85.219.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
p.donadeo@gmail.com designates 209.85.219.54 as permitted
sender) identity=mailfrom; client-ip=209.85.219.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="p.donadeo@gmail.com";
x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
authenticity information available from domain of
postmaster@mail-oa0-f54.google.com) identity=helo;
client-ip=209.85.219.54;
receiver=mail4-smtp-sop.national.inria.fr;
envelope-from="p.donadeo@gmail.com";
x-sender="postmaster@mail-oa0-f54.google.com";
x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnwCAFSAW1DRVds2mGdsb2JhbABFhgu2MAN7CCMBAQEBAQgJDQcUJ4IhAQEEEgIFCh0BGx4DDAYFCw8CJgICIgERAQUBHAY1h04BAw+bSQkDi1ZPgnWFEwoZJw1ZiHQBBQyBFYsRhBqBEgOVZI5CFimECQ
X-IronPort-AV: E=Sophos;i="4.80,455,1344204000";
d="scan'208";a="156445710"
Received: from mail-oa0-f54.google.com ([209.85.219.54])
by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Sep 2012 22:51:36 +0200
Received: by oagm1 with SMTP id m1so4766845oag.27
for ; Thu, 20 Sep 2012 13:51:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20120113;
h=mime-version:in-reply-to:references:from:date:message-id:subject:to
:content-type;
bh=gg3X5jeoW9TkQBoPjI3LfNZfVwLvSJCU61iYFmpmP9Y=;
b=DnEsanJDKtdjXTSUOicwWAvezWHhWBVPTT8e4gWck+DxdHpSxO6DuJynYv7mB8feXI
Sm3qVO6CfAsRn7XBSbz9MflUNMvgtxJFkxT28T9pIdRxwakajUm0Ffs/Ou5ysk94OWPL
nGEHAXJV3tS5lWnITXb/eRV5ja4WRQLEbB1SwoKqXgi5cM7O4yOVJnulWLtfIZwPwLG3
vcHt8Il/jqXoW+E9GtTd8krbMtl7MFcqT/3r/BIGW2SPJmUBt0NltNgvHqId+my/9T8h
ndVGXJHiK/6NTZv4lyhfB/H+CP7CyVUZF8Vj/UTvavkgz+c4O1qWfgAS41BotzYAHCB5
0bGA==
Received: by 10.182.110.67 with SMTP id hy3mr2312244obb.52.1348174295784; Thu,
20 Sep 2012 13:51:35 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.60.2.231 with HTTP; Thu, 20 Sep 2012 13:50:55 -0700 (PDT)
In-Reply-To: <119A0FF5-14CF-4EB6-9CAA-117E7EAB3499@recoil.org>
References:
<119A0FF5-14CF-4EB6-9CAA-117E7EAB3499@recoil.org>
From: Paolo Donadeo
Date: Thu, 20 Sep 2012 22:50:55 +0200
Message-ID:
To: OCaml mailing list
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] OUD slides
Thanks, I'm one of those poor souls :-)
--
Paolo