Setting up Environment
Andrew Lygin edited this page Mar 21, 2021
·
4 revisions
If you have already installed the extension, here're some ways to make your work with TLA+ specifications easier and more productive:
- Add keyboard shortcuts
- Configure automatic module parsing
- Adjust formatting options to your liking
- Improve visualization of your specifications
- Install the vscode-pdf extension to preview specification PDFs
- Learn how to visualize generated states
- Add support for boxed comments