Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| using:vscode:migrating_from_tlatoolbox [2025/10/10 20:38] – fponzi | using:vscode:migrating_from_tlatoolbox [2025/10/10 20:39] (current) – fponzi | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| 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 | + | |
| - | * 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" | + | * "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? ===== | ===== Any feedback? ===== | ||
fponzi