coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Vim syntax file

From: Vincent Aravantinos <vincent.aravantinos AT yahoo.fr>
To: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Vim syntax file
Date: Thu, 8 Nov 2007 01:02:17 +0100
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:Mime-Version:In-Reply-To:References:Content-Type:Message-Id:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=D2k/Y1q2khmVtN9A7vOklGkb+ZX0O93AKs0+3hjrH0sh/3uMO/gq4AlSi+PLFZvWRIVthf4c9mF5t36OVTqZFJnsp2prMsRH8h9TytxuNhKvKHEfop6cgdCQD4QUk2FndfNgS33mzDDMlRglT7bPS+8P29tBdOcHFkW98jzpeYk= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

(I apologize for spamming non vim users)

Hi,

the script is now not modest at all. Even it may be qualified as "decent".
Especially last versions fix many many bugs.

Happy coq & vimming.

And again sorry for non-interested people (this should be my last post on this topic :).

Cheers,
Vincent

Le 7 nov. 07 � 00:59, Vincent Aravantinos a �crit :

Hi again,

my post must have looked a bit depressed... indeed some of you decided to help me a bit!

Hence this post just to say that there is a new version and it is a bit less modest.

Le 6 nov. 07 � 15:07, Vincent Aravantinos a �crit :

Hi everyone,

a short post just to signal a modest vim syntax colouring plugin is available at:

http://www.vim.org/scripts/script.php?script_id=2063

Cheers,
--
Vincent Aravantinos

[Coq-Club] Vim syntax file, Vincent Aravantinos
- Re: [Coq-Club] Vim syntax file, Vincent Aravantinos
  - Re: [Coq-Club] Vim syntax file, Vincent Aravantinos