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

TLAPlus

by Calvin-L ST3

TLA+ syntax highlighting for Sublime Text 3

Details

  • 1.0.3
  • github.​com
  • github.​com
  • 10 months ago
  • 19 minutes ago
  • 10 months ago

Installs

  • Total 35
  • Win 10
  • Mac 17
  • Linux 8
Oct 25 Oct 24 Oct 23 Oct 22 Oct 21 Oct 20 Oct 19 Oct 18 Oct 17 Oct 16 Oct 15 Oct 14 Oct 13 Oct 12 Oct 11 Oct 10 Oct 9 Oct 8 Oct 7 Oct 6 Oct 5 Oct 4 Oct 3 Oct 2 Oct 1 Sep 30 Sep 29 Sep 28 Sep 27 Sep 26 Sep 25 Sep 24 Sep 23 Sep 22 Sep 21 Sep 20 Sep 19 Sep 18 Sep 17 Sep 16 Sep 15 Sep 14 Sep 13 Sep 12 Sep 11
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
Linux 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

Sublime Text 3 Syntax Highlighting for TLA+

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

Installation

Clone this repo and copy it to your Sublime packages folder. I hope to make this available in Package Control eventually.

What's Here

The tests are far from complete. They do not all pass; you can put comments in strange places to thwart the syntax highlighting rules.