TLAPlus

by Calvin-L ST3

TLA+ syntax highlighting for Sublime Text 3

Labels language syntax

Details

Version 1.0.3
Homepage github.com
Issues github.com
Modified 1 month ago
Last Seen 47 minutes ago
First Seen 1 month ago

Installs

Total 6
Win 1
Mac 4
Linux 1

	Jan 27	Jan 26	Jan 25	Jan 24	Jan 23	Jan 22	Jan 21	Jan 20	Jan 19	Jan 18	Jan 17	Jan 16	Jan 15	Jan 14	Jan 13	Jan 12	Jan 11	Jan 10	Jan 9	Jan 8	Jan 7	Jan 6	Jan 5	Jan 4	Jan 3	Jan 2	Jan 1	Dec 31	Dec 30	Dec 29	Dec 28	Dec 27	Dec 26	Dec 25	Dec 24	Dec 23	Dec 22	Dec 21	Dec 20	Dec 19	Dec 18	Dec 17	Dec 16	Dec 15	Dec 14
Windows	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	0	0	0	0	0	0	0	0	0	0	0	0
Mac	0	0	0	0	1	0	1	0	0	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	1	0	0	0	0	0	0	0	0	0
Linux	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	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

tla.sublime-syntax: syntax definition (see also: scope names)
symbols.tmPreferences: symbol navigation
comments.tmPreferences: commenting rules
syntax_test_tla.tla: syntax highlighting test

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