search

septract / starling-tool

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

Update or remove Emacs major mode #121

Open MattWindsor91 opened 7 years ago

MattWindsor91 commented 7 years ago

The Emacs major mode syntax/starling-mode.el is so outdated now that it's not really worthwhile. We should consider updating or removing it.