Does this plugin support translating PlusCal to TLA+?

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

348 stars 31 forks source link

Does this plugin support translating PlusCal to TLA+? #272

Closed vimalk78 closed 1 year ago

vimalk78 commented 1 year ago

I am following Hillel Wayne's Practical TLA+ book. The book uses Eclipse based official IDE, which supports Translate PlusCal Algorithm options. Does this plugin support the same? I am not able to see any such option in Command Pallete

lemmy commented 1 year ago

https://github.com/tlaplus/vscode-tlaplus/wiki/Automatic-Module-Parsing

vimalk78 commented 1 year ago

thanks @lemmy