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

murphi.vim : Syntax highlighting for the Murphi model checker

 script karma  Rating 6/3, Downloaded by 264    Comments, bugs, improvements  Vim wiki

created by
Diego Ongaro
script type
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

Rating scripts is only available on the HTTPS page

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:

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