search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
356 stars 32 forks source link

Add tlaplus-formatter support #327

Open FedericoPonzi opened 4 months ago

FedericoPonzi commented 4 months ago

Still WIP but works.

  1. Grab the jar produced by https://github.com/FedericoPonzi/tlaplus-formatter,
  2. update the path in the code
  3. ctrl+shift+p and select Format Document

the formatter itself is also WIP.