lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

CI: add make doc, make odoc, and make emacs_mode

Open fblanqui opened this issue 5 years ago • 1 comments

fblanqui avatar Jan 29 '21 18:01 fblanqui

For vscode, this is done now.

fblanqui avatar Nov 27 '24 15:11 fblanqui