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 --]
next parent 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