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: Wed, 7 Nov 2007 00:59:07 +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=a7qH6uoyQJ25sBayxJKO2Dx+UOj+oKANlXj3/8Re7mhRLrsSMIozXrLs7oZihtSXNnsuZpLoCImIbu+a6BKUrX8YC4ogkGPKHgy0OhP2DQFWQhHdQKGy/OESK6L+2sYPC3P7xQ/N3extLLmSwMgCi/Il1YfgDOjdO/jZpdZWKMo= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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.

Cheers,
--
Vincent Aravantinos
PhD Student - LIG - CAPP Team
http://www-leibniz.imag.fr/~varavant

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