https://github.com/calvin-l/sublime-tlaplus

TLA+ syntax highlighting for Sublime Text 3
https://github.com/calvin-l/sublime-tlaplus

Last synced: about 1 month ago
JSON representation

TLA+ syntax highlighting for Sublime Text 3

• Host: GitHub
• URL: https://github.com/calvin-l/sublime-tlaplus
• Owner: Calvin-L
• License: mit
• Created: 2020-11-01T20:22:23.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2024-08-23T03:50:43.000Z (9 months ago)
• Last Synced: 2025-03-27T21:39:07.101Z (about 2 months ago)
• Language: Python
• Size: 19.5 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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).