using:vscode:migrating_from_tlatoolbox

This is an old revision of the document!

Migrating from TLA+ Toolbox

TLA+ Toolbox is an IDE based on Eclipse, and for a long time it has been the official environment to work with TLA+ tools. See: https://lamport.azurewebsites.net/tla/toolbox.html

  • using/vscode/migrating_from_tlatoolbox.1760127797.txt.gz
  • Last modified: 2025/10/10 20:23
  • by fponzi