Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| using:vscode:migrating_from_tlatoolbox [2025/10/10 20:35] – fponzi | using:vscode:migrating_from_tlatoolbox [2026/10/12 22:28] (current) – fponzi | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| 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:// | 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:// | ||
| - | 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. | + | Since around 2020 the development focus has moved to improve the VScode plugin experience. The TLA+ Toolbox has now moved to archived mode and it's unmaintained. The current bugs won't be fixed and as dependency rots, eventually it will stop being distributed as well. It is therefore |
| - | If you haven' | + | If you haven' |
| - | * Don't need a separated IDE to work on TLA+ | + | |
| - | * Extension updates in almost real time without extra steps | + | * Don't need a separated IDE to work on TLA+ |
| - | * Matched feature set: we even have TLAPS integrated. | + | * Extension updates in almost real time without extra steps |
| - | * Developers ready to take your feature requests and feedback. | + | * Matched feature set: we even have TLAPS integrated. |
| - | * Native support for AI tools and coding assistants, which can make learning and using TLA+ more efficient and approachable. | + | * Developers ready to take your feature requests and feedback. |
| + | * Native support for AI tools and coding assistants, which can make learning and using TLA+ more efficient and approachable. | ||
| ===== Migrating Projects from Toolbox ===== | ===== Migrating Projects from Toolbox ===== | ||
| Line 18: | Line 19: | ||
| Feel free to update this page with missing or useful information as you see fit. These are some ideas if you'd like to contribute: | Feel free to update this page with missing or useful information as you see fit. These are some ideas if you'd like to contribute: | ||
| - | * Quotes or short notes from users who migrated (was it easy/hard? Anything you think it's still missing?) | + | |
| - | * "What I wish I knew" | + | * Example workflow improvements (e.g., using GitHub Copilot to write PlusCal) |
| - | * Example workflow improvements (e.g., using GitHub Copilot to write PlusCal) | + | |
| + | ===== Any feedback? ===== | ||
| + | We value feedback a lot. | ||
| + | * If you have suggestions on how to improve this structure of this guide, please use: https:// | ||
| + | * If you have suggestions on how to improve the extension, create a new issue on https:// | ||
fponzi