Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| using:vscode:migrating_from_tlatoolbox [2025/10/10 20:17] – created fponzi | using:vscode:migrating_from_tlatoolbox [2025/10/10 20:39] (current) – fponzi | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Migrating from TLA<sup>+</sup> | + | ====== 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:// | ||
| + | |||
| + | Since around 2020 the development focus has moved to improve the VScode plugin experience. The TLA+ Toolbox | ||
| + | |||
| + | If you haven' | ||
| + | |||
| + | * Don't need a separated IDE to work on TLA+ | ||
| + | * Extension updates in almost real time without extra steps | ||
| + | * Matched feature set: we even have TLAPS integrated. | ||
| + | * 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 | ||
| + | |||
| + | ===== Common Issues and Troubleshooting ==== | ||
| + | |||
| + | ===== Tips from the Community ===== | ||
| + | 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) | ||
| + | |||
| + | ===== 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