Search results

Emacs plugin broken since #1290

Status: Open.

#1458 In Deducteam/lambdapi;

· fblanqui opened on Jul 13, 2026

Formats of error messages in LSP

Status: Open.

#1456 In Deducteam/lambdapi;

· fblanqui opened on Jul 10, 2026

Wrong error message in Emacs

Status: Open.

#1454 In Deducteam/lambdapi;

· fblanqui opened on Jul 10, 2026

Virtual positions for generated symbols

Status: Open.

#1451 In Deducteam/lambdapi;

· fblanqui opened on Jul 10, 2026

Dk/Lp modules: use zlexbuf instead of lexbuf

Status: Open.

#1449 In Deducteam/lambdapi;

· fblanqui opened on Jul 9, 2026

VScode extension : missing Args in settings

Status: Open.

#1437 In Deducteam/lambdapi;

· Alidra opened on Jul 2, 2026

Lpo files contain absolute positions

Status: Open.

#1436 In Deducteam/lambdapi;

· Alidra opened on Jul 2, 2026

error message not correctly printed in console

Status: Open.

#1405 In Deducteam/lambdapi;

· fblanqui opened on Jun 10, 2026

warnings with emacs mode

Status: Open.

#1364 In Deducteam/lambdapi;

· fblanqui opened on Apr 6, 2026

no feedback in Emacs or VSCode

lspIssues related to Language Server ProtocolIssues related to Language Server Protocol

Status: Open.

#1363 In Deducteam/lambdapi;

· fblanqui opened on Apr 2, 2026

feature request: allow require commands in mapping files for lambdapi export --mapping

Status: Open.

#1351 In Deducteam/lambdapi;

· fblanqui opened on Feb 15, 2026

make odoc does not generate links to every module

Status: Open.

#1335 In Deducteam/lambdapi;

· fblanqui opened on Dec 13, 2025