/sublime-promela-spin

Sublime Text 3 syntax highlighting and build system for Promela Spin.

MIT LicenseMIT

Stargazers