This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| using:vscode:getting_started [2025/05/31 22:47] – fponzi | using:vscode:getting_started [2025/05/31 22:48] (current) – fponzi |
|---|
| Make the file a TLA<sup>+</sup> module. To do it, create a .tla file, or open a new file and click on "select a language" and specify TLA: | Make the file a TLA<sup>+</sup> module. To do it, create a .tla file, or open a new file and click on "select a language" and specify TLA: |
| {{:using:vscode:vscode_select_language.png?direct&400|}} | {{:using:vscode:vscode_select_language.png?direct&400|}} |
| start typing ''%%module%%'' and select the “Create new module (TLA+)” snippet from the drop-down list. The snippet will expand into module header and footer. | |
| |
| | Start typing ''%%module%%'' and select the “Create new module (TLA+)” snippet from the drop-down list. The snippet will expand into module header and footer. |
| | |
| | {{:using:vscode:vscode-snippet-module.png?direct&400|}} |
| |
| Use another snippet ''%%pluscal%%'' (“Create PlusCal block (TLA+)”) to create an empty PlusCal algorithm. So far, we’ve got the following file: | Use another snippet ''%%pluscal%%'' (“Create PlusCal block (TLA+)”) to create an empty PlusCal algorithm. So far, we’ve got the following file: |
fponzi