Differences

This shows you the differences between two versions of the page.

--- using:vscode [2024/09/28 15:58] – created - external edit 127.0.0.1
+++ using:vscode [2024/10/19 19:17] (current) – removed fponzi
@@ Line 1: / Line 1: @@
-====== Visual Studio Code Extension ======
-This is the fastest and easiest way to get started with TLA+ and TLC.
-  - Download visual studio
-  - Search for the tla+ plugin in the extensions tab.
-  - Make sure to install TLA+ Nightly. It is usually stable, it has more features and extension release is lagging behind.
-Additionally, you might want to enable automatic module parsing on saves: https:%%//%%github.com/tlaplus/vscode-tlaplus/wiki/Automatic-Module-Parsing
-===== Resources =====
-The plugin source code can be found on github: https:%%//%%github.com/tlaplus/vscode-tlaplus