lambdapi
lambdapi copied to clipboard
Fix/vscode plugin
Salwa has recently noticed some issues when working with the Vscode plugin of Lambdapi (some intempestive message and the focus on current document being lost each time the proof is navigated).
This PR fixes these issues. Please note that other issues related to updating the console are related to the released version of Lambdapi that should be updated on the Opam packages repository.
The pipeline fails because of what seems to be a big in Vsce package (It did succeed yesterday). I will investigate further.