sponsor Vim development Vim logo Vim Book Ad

murphi.vim : Syntax highlighting for the Murphi model checker

 script karma  Rating 5/2, Downloaded by 143    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: 54.198.33.96

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