search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Remove `Starling.sublime-syntax` #152

Open MattWindsor91 opened 7 years ago

MattWindsor91 commented 7 years ago

I've moved the Sublime Text 3 support here.