TLA+ for Visual Studio Code v1.4 released with 'Go to Definition' implementation, custom Java class paths support, switching between error traces when `-contunie` is used, and various bugfixes.
#tlaplus , #pluscal , #vscode
marketplace.visualstudio.com/items?itemName…