README
October 18, 2010 ยท View on GitHub
This is a mirror of http://www.vim.org/scripts/script.php?script_id=794
This is syntax highlighting for the Promela language used with SPIN (http://spinroot.com/spin/whatispin.html).
October 18, 2010 ยท View on GitHub
This is a mirror of http://www.vim.org/scripts/script.php?script_id=794
This is syntax highlighting for the Promela language used with SPIN (http://spinroot.com/spin/whatispin.html).