Reopen/navigate back the Goals and the console buffers when navigating proofs in Emacs

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

265 stars 35 forks source link

Reopen/navigate back the Goals and the console buffers when navigating proofs in Emacs #1110

Open Alidra opened 1 month ago

Alidra commented 1 month ago

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 possible for the user to see the corresponding information (goals and logs)