Differences

This shows you the differences between two versions of the page.

--- using:vscode:migrating_from_tlatoolbox [2025/10/10 20:30] – fponzi
+++ using:vscode:migrating_from_tlatoolbox [2025/10/10 20:39] (current) – fponzi
@@ Line 5: / Line 5: @@
 If you haven't yet, you should consider moving to the VSCode official extension:
-* 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.
+  * 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://github.com/tlaplus/vscode-tlaplus/issues/423#issuecomment-3391933491
+* If you have suggestions on how to improve the extension, create a new issue on https://github.com/tlaplus/vscode-tlaplus