coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Vim syntax file

From: Vincent Aravantinos <vincent.aravantinos AT yahoo.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Vim syntax file
Date: Tue, 6 Nov 2007 15:07:03 +0100
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:Mime-Version:Content-Transfer-Encoding:Message-Id:Content-Type:To:From:Subject:Date:X-Mailer; b=4eUSEytjHdTU4rSZpGGdfunBxKn7L7xW8JDHLrvQ2KDtFWJUJtRENxoQDkNZc15Lu9eZHoKqQp7c9jL9KlWiWgzQ85qvxaEFGt7YIEDJRRDx1wZtyizg3qvLbkv1/Ed/+94OPelnfzfqTZ48sa6mto1Hd/udHcHagPYjqcDIhKw= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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
PhD Student - LIG - CAPP Team

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