Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Commit

Permalink
installing vscode extension
Browse files Browse the repository at this point in the history
  • Loading branch information
@FedericoPonzi
FedericoPonzi committed Jun 14, 2024
1 parent d158acf commit f72c02a
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/using/vscode.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,6 @@
This is the fastest and easiest way to get started with TLA+ and TLC.

1. Download visual studio
2. Search for the tla+ plugin in the extensions tab.
3. Make sure to install TLA+ Nightly. It is usually stable, it has more features and extension release is lagging behind.

0 comments on commit f72c02a

Please sign in to comment.