sponsor Vim development Vim logo Vim Book Ad


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

Script Contributions

camlanot.vim Ocaml support for type annotation files, included support for ocamlbuild
Coq indent Indentation for coq files
coq syntax syntax colouring 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.