using:vscode:start

Differences

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

Link to this comparison view

using:vscode:start [2024/10/19 19:16] – created fponziusing:vscode:start [2025/02/18 16:01] (current) – fponzi
Line 4: Line 4:
  
   - [[https://code.visualstudio.com/Download|Download]] and install Visual Studio Code   - [[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. +  - Open it, go to the Marketplace panel, find the "TLA+" extension and click "Install". Make sure to install TLA+ from TLA+ Foundation. Url: https://marketplace.visualstudio.com/items?itemName=tlaplus.vscode-ide 
-  - Install Java if it's not present on your computer.+  - Install Java if it's not present on your computer. https://learn.microsoft.com/en-us/java/openjdk/download#openjdk-21
  
 That's it, you're ready to write and check your first specification! That's it, you're ready to write and check your first specification!
  • using/vscode/start.txt
  • Last modified: 2025/02/18 16:01
  • by fponzi