not logged in (
login
)
Home
Advanced search
About Vim
Community
News
Sponsoring
Trivia
Documentation
Download
Scripts
Tips
My Account
Mercurical Web
Site Help
murphi.vim : Syntax highlighting for the Murphi model checker
script karma
Rating
11/7
, Downloaded by 783
Comments, bugs, improvements
Vim wiki
created by
Diego Ongaro
script type
syntax
description
A syntax highlighting plugin for the Murphi model checker's description language. See
http://verify.stanford.edu/dill/murphi.html
for more info on Murphi.
install details
rate this script
Life Changing
Helpful
Unfulfilling
script versions
(
upload new version
)
Click on the package to download.
package
script version
date
Vim version
user
release notes
murphi.vim
1
2012-02-13
7.0
Diego Ongaro
Initial upload
ip used for rating: 18.224.202.121
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
