# Sublime Text 3 Syntax Highlighting for TLA+ This is a Sublime Text 3 package that defines syntax highlighting and other niceties for [TLA+](https://lamport.azurewebsites.net/tla/tla.html). ## Installation This package is available as [TLAPlus](https://packagecontrol.io/packages/TLAPlus) in Sublime Package Control. Alternatively, clone this repo and copy it to your Sublime [packages folder](https://www.sublimetext.com/docs/3/packages.html).