using:vscode:start

Differences

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

Link to this comparison view

Next revision		 Previous revision
using:vscode:start [2024/10/19 19:16] – created fponziusing:vscode:start [2025/05/31 22:41] (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!
Line 22: Line 22:
   * Something doesn’t work as you expected? Please, refer to the [[using:vscode:troubleshooting|Troubleshooting]] and [[using:vscode:caveats|Caveats]] sections, or [[https://github.com/tlaplus/vscode-tlaplus/issues/new|file an issue]] if you can’t find a solution.   * Something doesn’t work as you expected? Please, refer to the [[using:vscode:troubleshooting|Troubleshooting]] and [[using:vscode:caveats|Caveats]] sections, or [[https://github.com/tlaplus/vscode-tlaplus/issues/new|file an issue]] if you can’t find a solution.
  
 +<nspages -tree -r -exclude -subns -pagesInNs -h1 -textNs="Browse Topics:">
  
  
  
  • using/vscode/start.1729365393.txt.gz
  • Last modified: 2024/10/19 19:16
  • by fponzi