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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 332D1BC6C for ; Sun, 27 Jan 2008 14:52:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANYanEfAXQImh2dsb2JhbACQKAEBAQgKKZQihiA X-IronPort-AV: E=Sophos;i="4.25,256,1199660400"; d="scan'208";a="7290207" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 27 Jan 2008 14:52:20 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0RDqJCr013655 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 27 Jan 2008 14:52:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMYbnEdIDtydemdsb2JhbACQKAEBCQgplCSGIA X-IronPort-AV: E=Sophos;i="4.25,256,1199660400"; d="scan'208";a="8418014" Received: from fg-out-1718.google.com ([72.14.220.157]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Jan 2008 14:52:19 +0100 Received: by fg-out-1718.google.com with SMTP id 22so1338687fge.25 for ; Sun, 27 Jan 2008 05:52:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=wSHEBddtK+7I39qi+XiQRqK0Scz2/kWwpNx2JxGo5v0=; b=OWtngNWNacKAviU6W5A9EKe8mWH+O3Iu6xZI0HkMqoLgwZ252EWfXQuhIAzleuMtJtXJkwUKIlYfXo5ImFfFXGmEbsGf1HZ3ig3c3tSWro8VdezHD34QYsQTbnjfJl7JZ/tJhtd7/M49JFnmHtAp8q7nXk9iAmcj1UcaM4TTCpU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=TJo3PC52DsxmOKxNzPo6fmCOVXeRY3aBFdunlyOISrkz0/PDzrrzeNGASx5hjRXMiFdo5VOrXXBGs1tvErGOW7Gpqhgdbu93LwY75TcTFmPQjVY/UwmciVXNRy4fjn7oU2Jbtlx65DTmtkwfI+jgUfdpyPUiij/B9tgGsMbA0Q8= Received: by 10.78.204.1 with SMTP id b1mr5663614hug.73.1201441938859; Sun, 27 Jan 2008 05:52:18 -0800 (PST) Received: by 10.78.41.17 with HTTP; Sun, 27 Jan 2008 05:52:18 -0800 (PST) Message-ID: <4b5157c30801270552l326d5771u50f968cf6c0afcd4@mail.gmail.com> Date: Sun, 27 Jan 2008 14:52:18 +0100 From: "Paolo Donadeo" To: caml-list@inria.fr Subject: Re: [Caml-list] [OSR] OCaml Standard Recommandation Process In-Reply-To: <1201440183.6302.27.camel@Blefuscu> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1201440183.6302.27.camel@Blefuscu> X-Miltered: at discorde with ID 479C8C93.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 caml-list:01 standard:07 seem:08 acceptable:09 does:14 method:17 it's:23 process:24 com:74 for:33 this:37 U3:46 paolo:52 paolo:52 > Does this seem an acceptable method ? It's ok for me. -- Paolo ~ ~ :wq