sponsor Vim development Vim logo Vim Book Ad

Profile

user name ongardie
first name Diego
last name Ongaro
email ongardiegmailcom
homepage
registered Vim
user or sponsor
no, or user has chosen to conceal his donation

Script Contributions

murphi.vim Syntax highlighting for the Murphi model checker
tla.vim TLA+ specification language
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