TLA Set Extension

This extension provides support for the TLA language, including displaying commands and syntax highlighting for TLA commands.

Features

• Highlight commands in the TLA language.
• Provide autocompletion for TLA commands.

Installation

1. Open VS Code.
2. Go to the Extensions view (Ctrl+Shift+X).
3. Search for "TLA Set" and click Install.

Usage

To use this extension, simply type OPN, WAT, TYP, etc., in your TLA script, and the extension will highlight the commands accordingly.

Development

To develop this extension locally, clone the repository and run: