From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0V8S86V029540
	for <caml-list@sympa-roc.inria.fr>; Tue, 31 Jan 2012 09:28:08 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AikBADylJ0/RVdS2kGdsb2JhbAApGoULqUsIIgEBAQEJCQ0HFAQhgXIBAQEEEgIPDwEFCAEbHAEBAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHAYNAQcBAQUZh2Mpm0IKiyNIgnCFAT+IcQIFC4EkiVMBBwICCQUNBAYBAQFFgnIZBAMMAxQFVwqCTYEWBJUehVeBOYcGPYQA
X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; 
   d="scan'208";a="129497737"
Received: from mail-wi0-f182.google.com ([209.85.212.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 09:28:03 +0100
Received: by wibhn14 with SMTP id hn14so6590654wib.27
        for <multiple recipients>; Tue, 31 Jan 2012 00:28:02 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=6pZE+4V/+SBWiU9Xp8BowTVhTYxiV9Vqj6710J1yFjo=;
        b=XEl39zA2huX5tjCiM7X5ZrLuNZ/UirsQSYYFG02fbLSXAxU7PoUqc6ORNIWCj6rwHb
         QnX9Gt9ebNS3j8c/wjKrrHNuCbus7LPxkaMleIeEWUctBR0ztE3/82YG0l/WvwXURBNo
         Vum4iKjK5Eq5RVC8QyeS0dFB/lxxBpZSePjrg=
Received: by 10.180.108.232 with SMTP id hn8mr32880600wib.16.1327998481426;
        Tue, 31 Jan 2012 00:28:01 -0800 (PST)
Received: from [128.93.11.91] (sauternes.inria.fr. [128.93.11.91])
        by mx.google.com with ESMTPS id bj10sm35660291wib.9.2012.01.31.00.27.59
        (version=SSLv3 cipher=OTHER);
        Tue, 31 Jan 2012 00:28:00 -0800 (PST)
Message-ID: <4F27A60D.2070407@gmail.com>
Date: Tue, 31 Jan 2012 09:27:57 +0100
From: Jonathan Protzenko <jonathan.protzenko@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0a1) Gecko/20120125 Thunderbird/12.0a1
MIME-Version: 1.0
To: Pierre Vittet <pierre.vittet@inria.fr>
CC: caml-list@inria.fr
References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr>
In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] [ANN] Vim plugin

I think Xavier heard me scream quite a few times when the ocaml plugin 
screwed up my buffers, so many thanks for fixing this. So far, I 
haven't had any problem. I strongly encourage you to push your changes 
to the official vim distribution, so that everyone can benefit from 
your fixes.

Thanks again,

jonathan

On Mon 30 Jan 2012 10:29:14 PM CET, Pierre Vittet wrote:
> [English version below]
>
> Bonjour,
> Je ne sais pas si beaucoup d'entre vous utilise Vim pour coder en 
> OCaml. J'ai eu besoin de faire quelques modifications sur le greffon 
> officiel pour pouvoir utiliser pleinement les annotations. Je partage 
> donc mes modifications pour le cas ou elles soient utiles à d'autres: 
> http://www.vim.org/scripts/script.php?script_id=3906.
>
> J'ai corrigé 2 bogues et rajouté une fonctionnalité permettant 
> d'utiliser les annotations avec l'ensemble des fichiers .ml ouverts. 
> Jusqu'à présent il semble que les annotations ne fonctionnaient que 
> sur le premier fichier ouvert.
>
> J'utilise ma version modifiée depuis plusieurs semaines sans problème.
> Si vous essayez mon greffon, je vous remercie de me faire un retour 
> (sur les bogues ou leur absence).
>
> Merci
> Pierre Vittet
>
> -------------------------
>
> Hello,
> I don't know if many of you use Vim to write OCaml code. I had to make 
> some change on the official plugin in order to use the annotation as I 
> wanted. I share my modifications in the hope that they can be useful 
> to others : http://www.vim.org/scripts/script.php?script_id=3906.
>
> I corrected 2 bugs and add a functionnality allowing to use 
> annotations on every .ml file opened in the editor. Until now, it 
> looks like previously annotation were working only on the first opened 
> OCaml file.
>
> I use my modified version without any problem for several weeks. If 
> you try my plugin, please, keep me informed of the eventual bugs.
>
> Thanks
> Pierre Vittet