Installation Browse Search Docs News Stats About Say Thanks

ctrl+shift+p filters: :st2 :st3 :win :osx :linux

Calvin-L

TLAPlus
ST3 107 Installs
TLA+ syntax highlighting for Sublime Text 3

© 2020