Profile

user name	Vincent Aravantinos
first name	Vincent
last name	Aravantinos
email	vincentaravantinosgmailcom
homepage	http://membres-lig.imag.fr/aravantinos
registered Vim user or sponsor	yes

Script Contributions

camlanot.vim	Ocaml support for type annotation files, included support for ocamlbuild
coq syntax	syntax colouring for coq files
Coq indent	Indentation for coq files
Melt Vim	Plugin for Melt files
beluga-syntax	Syntax for Beluga fles (http://www.cs.mcgill.ca/~complogic/beluga/)
tac-syntax	Syntax for Tac files (http://slimmer.gforge.inria.fr/tac/)




	If you have questions or remarks about this site, visit the vimonline development pages. Please use this site responsibly. Questions about Vim should go to the maillist. Help Bram help Uganda.	Vim at Github