Code

Fix/logs when missing pkg#1075

Code

Merged

fblanqui merged 4 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom Alidra:fix/logsWhenMissingPkgAlidra/lambdapi:fix/logsWhenMissingPkgCopy head branch name to clipboardApr 5, 2024

+138-90

Commits

Commits on Apr 4, 2024

• fix/logs : catch exception in new_doc when lambdapi.pkg is missing. Changelp_doc.t

  Alidra

  committed
  968a44f

• modify lp_lsp to handle Fatal error

  Alidra

  committed
  c5d9c2b

• update CHANGES.md

  Alidra

  committed
  bf06264

Commits on Apr 5, 2024

• fix/logs : minor changes in error messages

  Alidra

  committed
  0d4094d