This is a mirror of http://www.vim.org/scripts/script.php?script_id=3932 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.
This is a mirror of http://www.vim.org/scripts/script.php?script_id=3932 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.