sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3

MIT License

Stars
3
View Code on GitHub
Ecosystems: Python

Sublime Text 3 Syntax Highlighting for TLA+

This is a Sublime Text 3 package that defines syntax highlighting and other niceties for TLA+.

Installation

This package is available as TLAPlus in Sublime Package Control.

Alternatively, clone this repo and copy it to your Sublime packages folder.

Related Projects
sublime-text

My Sublime Text configuration.

12 Jun 2013 5
SublimeMSBuild

Sublime Text package for editing and executing MSBuild scripts.

04 Jun 2012 81
SublimeLinter-perlcritic

perlcritic linter for SublimeLinter3

25 Dec 2013 9
sublime-pretty-edn

Format, Validate, Minify EDN files in Sublime Text

21 Feb 2023 9
SublimeLinter-contrib-rustc

SublimeLinter plugin for Rust

22 Mar 2014 39
sublime-settings

Yet another Sublime Text 3 user preferences, themes and packages.

10 Mar 2015 7
sublime-text-seed

Automated installation + configuration of Sublime Text in OSX, Linux, and Windows

11 Dec 2015 18
SublimeSetSyntax

Some generic keyboard bindings for 'Set Syntax:'

19 Feb 2012 3
SublimeLinter-contrib-bootlint

SublimeLinter plugin for Bootstrap, using bootlint.

25 Sep 2014 14
SublimeLinter-contrib-stylelint

this repo is no longer maintained - please see https://github.com/SublimeLinter/SublimeLinter-sty...

30 Jul 2015 116
sublime-text-trello

Sublime Text 3 package to interact with the Trello API

15 Jan 2014 50
SublimeTextFormatting

30 Mar 2012 6
sublimelint

Error highlighting in Sublime Text.

06 Feb 2011 249
sublime-iRules

iRules Syntax Highlighting for Sublime Text Editor http://www.sublimetext.com

09 May 2014 8
SublimeLinter

The code linting framework for Sublime Text

22 Oct 2013 1,998