From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q18KGfX2009701 for ; Wed, 8 Feb 2012 21:16:45 +0100 X-IronPort-AV: E=Sophos;i="4.73,385,1325458800"; d="scan'208";a="143450424" Received: from mal35-1-82-67-111-28.fbx.proxad.net (HELO [82.67.111.28]) ([82.67.111.28]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 08 Feb 2012 21:16:45 +0100 Message-ID: <4F32D84B.3020400@inria.fr> Date: Wed, 08 Feb 2012 21:17:15 +0100 From: Pierre Vittet User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111115 Thunderbird/8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: pierre.vittet@inria.fr Subject: Re: [Caml-list] [ANN] Vim plugin [English version below] Bonjour, J'ai fait une légère mise à jour du plugin : lorsque l'on affiche un type en utilisant t, le type est également copié dans le registre anonyme. Cela permet de le copier si besoin. http://www.vim.org/scripts/script.php?script_id=3906 Merci pour vos commentaires! Pierre Vittet ------------------------------ Hello, I have made a minor update of the plugin: When we print the type using t, the type is also copied in the unnamed register. This allows to copy it easily. http://www.vim.org/scripts/script.php?script_id=3906 Thanks for your comments! Pierre Vittet