coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Vim indent file for coq

From: Vincent Aravantinos <vincent.aravantinos AT yahoo.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Vim indent file for coq
Date: Wed, 28 Nov 2007 01:02:29 +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=hUuZg8MvhU2tElMGCwrT/tV4D7TKUNpxs6zj2eFz+6/ENuHa6iOR4XjmCH5v3xFvYoEzqUpkl+PxF4LhKgkyYFG/8BCHyYEs6DxVPUY3RtpFGBRiOa3VVVnGaVsgDXCrp19EfY5UDB4SDOGHERkija8BTN9OKNvuIrM+VOLl3NY= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

me again with my Vim stuff...

http://www.vim.org/scripts/script.php?script_id=2079 provides a vim plugin to deal correctly with automatic indentation of coq files in vim.

As for the previous plugin about syntax highlighting, this is a first try and it should soon evolve in case I get feedback and bug reports.
Thus do some regular checks to see if there is not a new version in the next weeks. I don't want to pollute the list as I did last time :)

Hope this is useful,
V.

[Coq-Club] Vim indent file for coq, Vincent Aravantinos