Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Pierre Vittet <pierre.vittet@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] [ANN] Vim plugin
Date: Mon, 30 Jan 2012 22:29:14 +0100 (CET)	[thread overview]
Message-ID: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> (raw)
In-Reply-To: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr>

[-- Attachment #1: Type: text/plain, Size: 1505 bytes --]

[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

[-- Attachment #2: Type: text/html, Size: 1706 bytes --]

       reply	other threads:[~2012-01-30 21:29 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr>
2012-01-30 21:29 ` Pierre Vittet [this message]
2012-01-31  8:27   ` Jonathan Protzenko
2012-01-31 10:02   ` oliver
2012-01-31 11:07     ` Raphael Proust
2012-01-31 11:08     ` Adrien
2012-01-31 11:14       ` Marc Weber
2012-01-31 11:21       ` Matej Košík
2012-01-31 13:36       ` oliver
2012-01-31 14:11   ` Anthony Tavener
2012-01-31 14:49   ` Markus Mottl
2012-02-08 20:17     ` Pierre Vittet

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr \
    --to=pierre.vittet@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox