Sublime Text 3 syntax highlighting and build system for Promela Spin.
MIT LicenseMIT
No issues in this repository yet.