Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| using:vscode:automatic_module_parsing [2025/10/19 17:18] – fponzi | using:vscode:automatic_module_parsing [2025/11/04 09:24] (current) – fponzi | ||
|---|---|---|---|
| Line 17: | Line 17: | ||
| That’s it. From now on, every time you save a .tla file the extension will automatically run the '' | That’s it. From now on, every time you save a .tla file the extension will automatically run the '' | ||
| + | |||
| + | --- | ||
| + | |||
| + | <nspages -exclude -h1 -textNs=" | ||
fponzi