sponsor Vim development Vim logo Vim Book Ad

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 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.
   
SourceForge.net Logo