ATTENTION: This is the preview version of the TLA+ for Visual Studio Code extension, used for early feedback and testing.
ATTENTION: Both the stable and nightly versions cannot be used at the same time. You must disable or uninstall one of them.
TLA+ Nightly:
- Is released more frequently.
- Includes features and bug fixes that may not have been tested yed.
- May include nightly builds of the TLA+ tools.