From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthieu.dubuget@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 394A27F860
	for <caml-list@sympa.inria.fr>; Thu,  6 Mar 2014 18:09:42 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  matthieu.dubuget@gmail.com) identity=pra;
  client-ip=209.85.214.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="matthieu.dubuget@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  matthieu.dubuget@gmail.com designates 209.85.214.53 as
  permitted sender) identity=mailfrom; client-ip=209.85.214.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="matthieu.dubuget@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-bk0-f53.google.com) identity=helo;
  client-ip=209.85.214.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="postmaster@mail-bk0-f53.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlAIAMeqGFPRVdY1m2dsb2JhbABajTm3fyV0Fg4BAQEBAQYLCwkUKIIdCQEBBDIBDQEbHQEDDAYFCxYlDwISEQEFARwTAQcBAYVygW4BAxEEAaI3jF+DDpVDChknDWSGIgEFDI5PB4J+gToBA5g+hkqJc0GEWw
X-IPAS-Result: AlAIAMeqGFPRVdY1m2dsb2JhbABajTm3fyV0Fg4BAQEBAQYLCwkUKIIdCQEBBDIBDQEbHQEDDAYFCxYlDwISEQEFARwTAQcBAYVygW4BAxEEAaI3jF+DDpVDChknDWSGIgEFDI5PB4J+gToBA5g+hkqJc0GEWw
X-IronPort-AV: E=Sophos;i="4.97,601,1389740400"; 
   d="scan'208";a="61612842"
Received: from mail-bk0-f53.google.com ([209.85.214.53])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Mar 2014 18:09:41 +0100
Received: by mail-bk0-f53.google.com with SMTP id r7so750004bkg.26
        for <caml-list@inria.fr>; Thu, 06 Mar 2014 09:09:41 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:cc:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=LGv9aZ+EhonGGWw9ScPKj5CaI7F5ee3osH4sBAXznHI=;
        b=JciobxmwCT342MnHVB4jrvi1dbcfwOGumY66trC1H36YbQa9Sn1OTRKeE+nMKTZORT
         NdFEBsQPM0JzGTglnkC+4KupIknO5QTezAHw9CORhKnFxat9XTrEoXy8IZoEVxK55Whe
         o/v6hQeGZGXrApNJdf8TZUda3DCO8Dhf0XThUDm5A3Ofg7tdtUrZFU78xOQtFLwcpCCI
         OVnraI+H3xGwFPaV1+28XHquGLX/uG7hQR0Y0s6B8ThAksb1+1TimuDplimxRuDzBIKk
         rtiyAtCJ8cx/FU0otZgGlieBlwSB5Fmk9OLw7q6soVKXv28ff5ODX6KM0H2WkZUkaPhX
         /oDQ==
X-Received: by 10.204.174.17 with SMTP id r17mr3886451bkz.23.1394125781536;
        Thu, 06 Mar 2014 09:09:41 -0800 (PST)
Received: from [172.17.1.25] (papillon.metalscan.fr. [178.22.148.54])
        by mx.google.com with ESMTPSA id oa10sm10266321bkb.14.2014.03.06.09.09.40
        for <caml-list@inria.fr>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Thu, 06 Mar 2014 09:09:40 -0800 (PST)
Message-ID: <5318ABD2.208@gmail.com>
Date: Thu, 06 Mar 2014 18:09:38 +0100
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0
MIME-Version: 1.0
CC: caml-list <caml-list@inria.fr>
References: <5318A3A8.8050402@gmail.com>	<CACi101zkvYJr3vMzdQ7SC9E_7fPufUQ4beQDQC=yR_1NyDu6tw@mail.gmail.com>	<5318AA21.3070009@gmail.com> <CAAWM5TwuVZcYpQ9SEvP-Ax3dVdtufYa5VWe88V=mexH1DHqUVg@mail.gmail.com>
In-Reply-To: <CAAWM5TwuVZcYpQ9SEvP-Ax3dVdtufYa5VWe88V=mexH1DHqUVg@mail.gmail.com>
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] I never succeeded in using Format

Thanks again!

I never realized that the documentation was generated from the .mli.

Maybe, it is the time to go home…


-- 
Matthieu Dubuget