vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

LSP: Add option to download the TLAPM/LSP.

Open kape1395 opened this issue 1 year ago • 1 comments

This is related to https://github.com/tlaplus/tlapm/pull/93.

The extension could suggest a user download and install the proper version of the TLAPS/LSP. We should return to this when the LSP support in TLAPM is merged and released.

kape1395 avatar Dec 07 '23 21:12 kape1395

FWIW: TLC could also use the JVM that is bundled as part of TLAPS.

lemmy avatar Dec 13 '24 02:12 lemmy