-
Notifications
You must be signed in to change notification settings - Fork 3
Promela syntax highlighting
vim-scripts/promela.vim
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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).