From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 12220820A1 for ; Fri, 16 Aug 2013 16:52:06 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of refis.thomas@gmail.com) identity=pra; client-ip=209.85.128.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of refis.thomas@gmail.com designates 209.85.128.178 as permitted sender) identity=mailfrom; client-ip=209.85.128.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.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@mail-ve0-f178.google.com) identity=helo; client-ip=209.85.128.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="postmaster@mail-ve0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4BALQ7DlLRVYCym2dsb2JhbABbhAAMgxq9IAgWDgEBAQEBBgsLCRQogiUBBSMdARsdAQMMAQUFCw8CJgICIgERAQUBHAaIEAEDD5xMi39RgwKEKAoZJw1kh3QBBQyBHZIWgSoDl2SPcBYpgV2DASA X-IPAS-Result: Al4BALQ7DlLRVYCym2dsb2JhbABbhAAMgxq9IAgWDgEBAQEBBgsLCRQogiUBBSMdARsdAQMMAQUFCw8CJgICIgERAQUBHAaIEAEDD5xMi39RgwKEKAoZJw1kh3QBBQyBHZIWgSoDl2SPcBYpgV2DASA X-IronPort-AV: E=Sophos;i="4.89,895,1367964000"; d="scan'208";a="24061674" Received: from mail-ve0-f178.google.com ([209.85.128.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Aug 2013 16:52:05 +0200 Received: by mail-ve0-f178.google.com with SMTP id ox1so670276veb.9 for ; Fri, 16 Aug 2013 07:52:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=TZkkBEAXtIupDj2LfjPdCcBI3Quo0EgLG5ahnkISdwE=; b=mSquBweR+jgbAKEjGnxN4G0B2CNm9kf1GZmaVyiYGZADOPARt5QfVa9Nwu+Xsi7CpG ULEPo5+1gKnH4+OgjZj53z3VaXVNgyDj8NCTW9CS2fhNGeQvEb04/oJpBwL51guokN+r 6mz2C3fGH5SqX+hxsZcmZqMOw9M+jYAlBFv8m8TN1GaH/opJFNDOFi4L6RhOGjagYXdv KtFvFygP7U4M1ZYr+E5t6FxmPUHrpl0BY/5TCuDDO/RSPnrZkOH5NSsUwGrWcIBbJ0CT 3IZr1lR4041L9izSooYcBTnBVOGr4x31s4s2RWlE084cWPv/xWfjdJ2wpd838R96vvDV V3NQ== MIME-Version: 1.0 X-Received: by 10.220.11.7 with SMTP id r7mr1594913vcr.12.1376664724108; Fri, 16 Aug 2013 07:52:04 -0700 (PDT) Sender: refis.thomas@gmail.com Received: by 10.58.147.41 with HTTP; Fri, 16 Aug 2013 07:52:04 -0700 (PDT) In-Reply-To: References: Date: Fri, 16 Aug 2013 10:52:04 -0400 X-Google-Sender-Auth: M6xOkbFPFpq4DWRgSefzUQG8-JU Message-ID: From: Thomas Refis To: Gabriel Scherer Cc: caml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: thomas.refis@gmail.com Subject: Re: [Caml-list] ANN: Merlin 1.3 -- advanced Vim and Emacs editor modes Thank you Gabriel for the announce, you beat us to it! Here are a few things I think are missing from your post : - Merlin is available on opam, so people willing to try it can just call "opam install merlin" - apart from the few things Gabriel selected from the changelog, I think it is worth mentioning that the emacs mode of merlin was the subject of a lot of work. There has been several bugfixes, and we know have a much better support for emacs 23. The experience should really be noticeably better. - the version of merlin available on opam at the moment will only work with ocaml 4.00.1. If you want to use the 4.01beta or even trunk, the version of merlin actually on opam won't work. We have however started working on supporting more recent versions of ocaml, we're in a "nearly releasable" state I'd say. So an opam package (merlin-trunk probably) should appear soon. In the meantime you can try the branch "ocaml-trunk" of our git repository. That's about it. As Gabriel said : feedback of all kind is very welcome! Thomas.