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 q0VEnBpF020361 for ; Tue, 31 Jan 2012 15:49:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUBAIP+J09KfVK2kGdsb2JhbAApGq5YCCIBAQEBCQkNBxQEIYFyAQEBBBICLAEUBx0BAwwGBQsNLiEBAREBBQEcBhMJGYdjKZsyCotsgnCFDj+IcQIFC4sFBgIBAgIJAgIBBgcDCQErDAIMhBsLg1gEiECMYIsHgxA9hB4 X-IronPort-AV: E=Sophos;i="4.71,596,1320620400"; d="scan'208";a="129556423" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 15:49:12 +0100 Received: by werm13 with SMTP id m13so123667wer.27 for ; Tue, 31 Jan 2012 06:49:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=KIlte1hWnMWd+kgbsMt3WjujjBp6vzF9sqDSi8GU2iI=; b=dXBbnLpBn/RjJdoaqFgOCToCY0qD6zYX2B1+pNITUr8UDN8sxutAJw9Dki18Y8wvY3 sAdV9G1HKQ9hzMs/WimtsERMrXzEOdw6PNGPaB3fZSZvsCAPde4PW4bVOQ3B/7lLd9Lr thNjlx4xyzecbEIWsWZFUH/IuyG0SQwlgw45I= MIME-Version: 1.0 Received: by 10.216.131.215 with SMTP id m65mr8789397wei.54.1328021352162; Tue, 31 Jan 2012 06:49:12 -0800 (PST) Received: by 10.180.99.162 with HTTP; Tue, 31 Jan 2012 06:49:12 -0800 (PST) In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> Date: Tue, 31 Jan 2012 09:49:12 -0500 Message-ID: From: Markus Mottl To: Pierre Vittet Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0VEnBpF020361 Subject: Re: [Caml-list] [ANN] Vim plugin Hi Pierre, thanks a lot for your contribution, I have updated the OCaml ftplugin file on my site and will submit it to Bram for inclusion in a future Vim release. Regards, Markus On Mon, Jan 30, 2012 at 16:29, 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 -- Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com