using:vscode

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
using:vscode [2024/10/19 18:57] – fponziusing: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. 
- 
-  - [[https://code.visualstudio.com/Download|Download]] and install Visual Studio Code 
-  - Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation. 
-  - Install Java if it's not present on your computer. 
- 
-That's it, you're ready to write and check your first specification! 
- 
-If you're new to Visual Studio Code, its [[https://code.visualstudio.com/docs|documentation]] is a good way to start working with it. 
- 
-The source code of the plugin is available on GitHub: [[https://github.com/tlaplus/vscode-tlaplus]] 
  
  • using/vscode.1729364231.txt.gz
  • Last modified: 2024/10/19 18:57
  • by fponzi