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

Since around 2020 the development focus has moved to improve the VScode plugin experience. The TLA+ Toolbox has now moved to archived mode. The current bugs won't be fixed and as as dependency rots, eventually it will stop being distributed as well. Therefore it is not recommended for daily use.

You should consider moving to VSCode official extension.

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