tlaplus/vscode-tlaplus Issues
Using the extension with remote-ssh
Updated 1Add GUI element to reevaluate ALIAS
Updated 1Create new module command not found
Updated 11Markdown with embedded TLA+
UpdatedConditional breakpoint not hit
Closed 2
TLA+ language support for Visual Studio Code