Code

Minor Fixes in the Emacs extension#1168

Code

Open

Alidra wants to merge 2 commits intoDeducteam:masterDeducteam/lambdapi:masterfrom Alidra:emacs_recentreGoalsAlidra/lambdapi:emacs_recentreGoalsCopy head branch name to clipboard

+10-2

Commits

Commits on Dec 27, 2024

• recentre the goals in case of many assumptions

  Alidra

  committed
  8350f35

• emacs : If no next command go to the last line to display the last error message if any

  Alidra

  committed
  f64d543