From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C6B4CBC57 for ; Tue, 7 Sep 2010 22:16:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwBAJo6hkzRVdQ0imdsb2JhbACTXI0iCBUBAQEKCQwHDwUfpmGJM4IVhkwuh3ABAQMFhTgEhEOFVQ X-IronPort-AV: E=Sophos;i="4.56,330,1280700000"; d="scan'208";a="67083826" Received: from mail-vw0-f52.google.com ([209.85.212.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Sep 2010 22:16:49 +0200 Received: by vws14 with SMTP id 14so5913334vws.39 for ; Tue, 07 Sep 2010 13:16:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type; bh=imeMxamCN1Xu9sgJZ9pDU9kTx6J76DfglXAgsk9Iv8E=; b=FtlvMbIiYnY7hdpWgJiviSs9omnO87+0eQUeU8CTPZKGAA4antihw1UDidxSZIZ6hH zN3URI9RfwE1tQzNPDfWBbD+5/hDucQUpfKlVQgCKXKHFFwLAb0Evjo2UW5EawBK56PL K/enEWFr9GBJXo+/6fQs0B1lhWSU5rb6BZlWM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=ID9w2O1LsdCyyeTeX8Ds4kKjdhamb19rezYNjUOG4+mceszkKlpE80Qoglk7ki70DX KuSzonlP7YFojtUYUmLLOrvVv4iJXdG6pKIpK2TggQL9/SVDyDoVko+/RjBcV5TYm4LV vhhqZMF5DMitHIQyZqs8wLN3jifjzaf1j+TdM= MIME-Version: 1.0 Received: by 10.220.168.10 with SMTP id s10mr32719vcy.190.1283890608289; Tue, 07 Sep 2010 13:16:48 -0700 (PDT) Received: by 10.220.177.77 with HTTP; Tue, 7 Sep 2010 13:16:48 -0700 (PDT) In-Reply-To: <20100907165809.E331DBCAF@yquem.inria.fr> References: <20100907165809.E331DBCAF@yquem.inria.fr> Date: Tue, 7 Sep 2010 13:16:48 -0700 Message-ID: Subject: Re: Caml-list Digest, Vol 63, Issue 12 From: Jeff Rubard To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; milner:01 caml-list:01 digest:01 issue:14 jeff:18 U6:76 U5:75 U5:75 com:74 robin:31 vol:60 thank:47 gmail:48 THANK U ROBIN MILNER - Ed.