From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@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 811BE820A1
	for <caml-list@sympa.inria.fr>; Fri, 16 Aug 2013 13:53:32 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  lukstafi@gmail.com) identity=pra; client-ip=209.85.220.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  lukstafi@gmail.com designates 209.85.220.176 as permitted
  sender) identity=mailfrom; client-ip=209.85.220.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@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-vc0-f176.google.com) identity=helo;
  client-ip=209.85.220.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-vc0-f176.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Al4BADISDlLRVdywm2dsb2JhbABbgztRvxyBHggWDgEBAQEBBgsLCRQoghsJAQEEAUABGx0BAwwGBQMBBzshAQERAQUBHAYTh30BAwkGDJxHjFCDAoQiChknDWSHdAEBBAyNSYJ3BAeEEgOVe4FpjC2DQxYphEQ6
X-IPAS-Result: Al4BADISDlLRVdywm2dsb2JhbABbgztRvxyBHggWDgEBAQEBBgsLCRQoghsJAQEEAUABGx0BAwwGBQMBBzshAQERAQUBHAYTh30BAwkGDJxHjFCDAoQiChknDWSHdAEBBAyNSYJ3BAeEEgOVe4FpjC2DQxYphEQ6
X-IronPort-AV: E=Sophos;i="4.89,894,1367964000"; 
   d="scan'208";a="29503610"
Received: from mail-vc0-f176.google.com ([209.85.220.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Aug 2013 13:53:31 +0200
Received: by mail-vc0-f176.google.com with SMTP id ha11so1339702vcb.21
        for <caml-list@inria.fr>; Fri, 16 Aug 2013 04:53:30 -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
         :cc:content-type;
        bh=Cvate8R72U7aVKJl90gGwIjdUUn4JIz7kzMRojZfN0g=;
        b=bANItYjWydEaovWSyl7prQx1PF5/v/EFigJeNiAuAHt4M2ITBaX2i8bqUj2tWucniO
         dvEcuVva2DGWykPLwbZNdXUNpk65rqK1ptdlM1Rke0q5vok8I0U+GZzcpyX6+nLkWxLH
         uXsxcFv8LoDXO+IabH7KApPywcYSY3gC7ylcz05nyyMaBefVMqC1bH1lEO0nSnkbGLNX
         035hZzyEnKF6CkNRBMzg/Ljvw42X5riMtQ+JoPV6YwZN6X0x62j3Aff19ndiV4xLg6PP
         hXWwSw1urdyHfpGipH4Zwb8AlzBXBrwUKI6Bs3l4nLSl83vfkO+nnekr1L4EeWsRD2Fh
         24Mw==
X-Received: by 10.52.69.142 with SMTP id e14mr169669vdu.29.1376654010823; Fri,
 16 Aug 2013 04:53:30 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.58.226.231 with HTTP; Fri, 16 Aug 2013 04:53:10 -0700 (PDT)
In-Reply-To: <CAJMfKEXUSRhfqtZAE_b9CLWdf6KicFipNxf=8c8sQEXqqnT7fA@mail.gmail.com>
References: <CAPFanBE8052GuZd7YtEmsns28vZCe063CkSo5OkDHWW6=8i-ZQ@mail.gmail.com>
 <CAJMfKEXUSRhfqtZAE_b9CLWdf6KicFipNxf=8c8sQEXqqnT7fA@mail.gmail.com>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Fri, 16 Aug 2013 13:53:10 +0200
Message-ID: <CAJMfKEVC5qOQWCKB3K5uHwuNQSzuuY+CgvhUh1QGqLR+YxmZsQ@mail.gmail.com>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml users <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=20cf3071c7f44b38be04e40f3d0d
Subject: Re: [Caml-list] ANN: Merlin 1.3 -- advanced Vim and Emacs editor
 modes


--20cf3071c7f44b38be04e40f3d0d
Content-Type: text/plain; charset=ISO-8859-1

On Fri, Aug 16, 2013 at 1:50 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:

>
> How does Merlin compare with TypeRex?
>

The question seems to be answered here:
https://sympa.inria.fr/sympa/arc/caml-list/2013-02/msg00155.html

--20cf3071c7f44b38be04e40f3d0d
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On Fri, Aug 16, 2013 at 1:50 PM, Lukasz Stafiniak <span di=
r=3D"ltr">&lt;<a href=3D"mailto:lukstafi@gmail.com" target=3D"_blank">lukst=
afi@gmail.com</a>&gt;</span> wrote:<br><div class=3D"gmail_extra"><div clas=
s=3D"gmail_quote">

<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><div class=3D"im"><br></div><div class=3D=
"gmail_extra">

<div class=3D"gmail_quote"><div>How does Merlin compare with TypeRex?</div>=
</div></div></div>
</blockquote></div><br></div><div class=3D"gmail_extra">The question seems =
to be answered here:=A0<a href=3D"https://sympa.inria.fr/sympa/arc/caml-lis=
t/2013-02/msg00155.html">https://sympa.inria.fr/sympa/arc/caml-list/2013-02=
/msg00155.html</a></div>

</div>

--20cf3071c7f44b38be04e40f3d0d--