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 3 years ago
Last Seen 40 minutes ago
First Seen 3 years ago

Installs

Total 96
Win 38
Mac 41
Linux 17

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