sponsor Vim development Vim logo go to HTTPS page Vim Book Ad


user name ongardie
first name Diego
last name Ongaro
email ongardiegmailcom
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.
SourceForge.net Logo