Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| using:vscode:migrating_from_tlatoolbox [2026/10/12 22:21] – fponzi | using:vscode:migrating_from_tlatoolbox [2026/10/12 22:28] (current) – fponzi | ||
|---|---|---|---|
| Line 20: | Line 20: | ||
| * Quotes or short notes from users who migrated (was it easy/hard? Anything you think it's still missing?) | * 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) | ||
fponzi