coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]VIM syntax highlighting for Coq

From: "Peter Hawkins" <hawkinsp AT cs.stanford.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]VIM syntax highlighting for Coq
Date: Wed, 6 Dec 2006 21:40:38 -0800
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition:x-google-sender-auth; b=D71dIjTqSDjk3xXEE7jLLyy8aW5bQB3KVbIew5zuT/d/xgjJK2neNhwhNIJbY+gvzhpPTgocTVrSwWONk8pe9R5TDS0Jv3+Z/88rFwsgky0WTmN0p4wQ3OCOU7anOUHjq1dfmzPqDc39XvPc9MlQ25GL3S/TyBd9yW5MJQLjInE=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi...

I was just wondering whether anyone had written a VIM syntax
highlighting mode for Coq scripts that they could share. A quick
google search and hunt in the source turned up nothing.

Thanks,
Peter

[Coq-Club]VIM syntax highlighting for Coq, Peter Hawkins