Add syntax highlighting for ltl formulas

corbanmailloux / sublime-promela-spin

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

MIT License

10 stars 3 forks source link

Closed amccarthy1 closed 10 years ago

amccarthy1 commented 10 years ago

ltl is a keyword (Actually basically a function declaration) and should be highlighted as such

corbanmailloux commented 10 years ago

Thank you.