From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 1FB39820A1 for ; Sun, 8 Sep 2013 18:06:47 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sirinath@sakrio.com) identity=pra; client-ip=67.222.54.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sirinath@sakrio.com"; x-sender="sirinath@sakrio.com"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of sirinath@sakrio.com does not assert whether or not 67.222.54.6 is permitted sender) identity=mailfrom; client-ip=67.222.54.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sirinath@sakrio.com"; x-sender="sirinath@sakrio.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@oproxy6-pub.mail.unifiedlayer.com) identity=helo; client-ip=67.222.54.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sirinath@sakrio.com"; x-sender="postmaster@oproxy6-pub.mail.unifiedlayer.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMEALufLFJD3jYGdmdsb2JhbABaDoQCgmO/IQIBgRweDgEKCwwIEgUlgiYBBRknAQE3AQ8LAwECBQM4IhMFHQYLiAqpTosMhEoBBY0QBo8jXQeEHYk2jkKGLCeJQoQyRw X-IPAS-Result: AmMEALufLFJD3jYGdmdsb2JhbABaDoQCgmO/IQIBgRweDgEKCwwIEgUlgiYBBRknAQE3AQ8LAwECBQM4IhMFHQYLiAqpTosMhEoBBY0QBo8jXQeEHYk2jkKGLCeJQoQyRw X-IronPort-AV: E=Sophos;i="4.90,864,1371074400"; d="scan'208";a="26115726" Received: from oproxy6-pub.mail.unifiedlayer.com ([67.222.54.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 08 Sep 2013 18:06:43 +0200 Received: (qmail 25781 invoked by uid 0); 8 Sep 2013 16:06:40 -0000 Received: from unknown (HELO box780.bluehost.com) (66.147.244.80) by oproxy6.mail.unifiedlayer.com with SMTP; 8 Sep 2013 16:06:39 -0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=sakrio.com; s=default; h=Content-Type:Cc:To:From:Subject:Message-ID:Date:References:In-Reply-To:MIME-Version; bh=MjxGvYQuBYhxqlrsXDNB0pkha/RyN7hZvKWYlpKtb4w=; b=yiHu0X3SRcsjDBtE+jFYiiZOdkhIKbNyYu+yucS7c9GFdXT9pnWcqQL+BYFIlZ2V941zoBej6Ab0e+sguUXW6uiwQnydIAmN4hP+h1UJEQg7TNunquwrSWtfK7TwkUg/; Received: from [209.85.220.42] (port=38385 helo=mail-pa0-f42.google.com) by box780.bluehost.com with esmtpsa (TLSv1:RC4-SHA:128) (Exim 4.80) (envelope-from ) id 1VIhVX-0002vZ-Rg for caml-list@inria.fr; Sun, 08 Sep 2013 10:06:39 -0600 Received: by mail-pa0-f42.google.com with SMTP id lj1so5306357pab.29 for ; Sun, 08 Sep 2013 09:06:39 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=MjxGvYQuBYhxqlrsXDNB0pkha/RyN7hZvKWYlpKtb4w=; b=TsRsGFN8RB5ndXbNtdpZ6GrZro/GaoDBXvI+87K/Qm79KT055Q6RxBdQqQZZTqmuJM Z2otZNTZ6/gyrLjR1XfB4Md4LYAkgaETqUNGX6og6d+KABRs0XIu72CtuyHLgk27cdB8 bfKZ4hcOJAWM8Ouo4qcfciSyc+LqcjuM81B/xwzE5etDn2lHdMJAeuUAx91U7/oINowu tU2YCYftW0y+ywGakI8M7tt5XGG9mZ2gwHWuLOcXqqt/ZdDvKzUW3ZXDDfuUBlc86QKQ v4eLfAQEt7jDoEX/aeLA3H0jGI8JWRBxR6oKC2BeWW0XLrTG2qBna96MMILvVoYbJWrY UIVA== MIME-Version: 1.0 X-Received: by 10.68.125.226 with SMTP id mt2mr14346871pbb.115.1378656399176; Sun, 08 Sep 2013 09:06:39 -0700 (PDT) Received: by 10.70.36.236 with HTTP; Sun, 8 Sep 2013 09:06:39 -0700 (PDT) In-Reply-To: <1378644250512.324564603@boxbe> References: <1378644250512.324564603@boxbe> Date: Sun, 8 Sep 2013 21:36:39 +0530 Message-ID: From: Suminda Dharmasena To: Michael Hicks Cc: Kristopher Micinski , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7b2e4822f0c1ef04e5e1740e X-Identified-User: {2382:box780.bluehost.com:sakrioco:sakrio.com} {sentby:smtp auth 209.85.220.42 authed with sirinath@sakrio.com} Subject: Re: [Caml-list] IDE --047d7b2e4822f0c1ef04e5e1740e Content-Type: text/plain; charset=ISO-8859-1 This looks dated. --047d7b2e4822f0c1ef04e5e1740e Content-Type: text/html; charset=ISO-8859-1
This looks dated.
--047d7b2e4822f0c1ef04e5e1740e--