Alidra

This PR updates the following dependencies : - vscode engine from 1.37 to 1.82 - @types/node from 10.14.15 to 18.18.1 - @types/vscode from 1.37 to 1.75.0 - typescript from 3.3.1...

This PR adds a check of lambdapi-logics and lambdapi-stdlib in the pipeline to unsure nothing has been broken by changes in Lambdapi code

In Vscode, if the `Goal panel` looses focus (typically, because user selected another panel in the second column) Goals are updated in this panel when the user navigates them in...

fix parsing error : return commands even when the end of the file contains parsing error

1

When working with Vscode or Emacs, if a Lambdapi file contains parsing errors, the parsing phase should return the commands that have been successfully parsed (this is already the case...

Show the Goal panel if it has lost focus

1

In Vscode, if the Goal panel looses focus (typically, because user selected another panel) Goals are updated in this panel when the user navigates them in the lp file but...

Parsing failure prevents from showing log messages in debug terminal

5

In Vscode (and probably with Emacs too), when a proof is started but `end` is missing at the end of the proof, the console doesn't show the log messages except...

When a proof is started with `begin` but `end` is missing at the end of the proof (whether the proof is completed or not), Both the Lambdapi command line and...

In Emacs, when a proof is started but the `end` token is missing at the end of the proof, the console doesn't show the log message `Unexpected token: "".` PR...

In Emacs, if the user closes the Goals and/or the Console buffers, or navigates to a different one, navigating the proofs should reopen/navigate back to these buffers to make it...

Fix/vscode plugin

1

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...