search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Revert vscode-languageclient version because it breaks code #1050

Closed Alidra closed 7 months ago

Alidra commented 7 months ago

Use older vscode-languageclient version 5.2.1 instead of 8.1 because the later defines a different API and breaks client code : image This PR reverts to older version meanwhile inspecting the necesssary changes to bring to client code to make it work again.