Skip to content

coq/generic: display empty strings in diagnostic messages#802

Open
hendriktews wants to merge 1 commit intoProofGeneral:masterfrom hendriktews:diagnostic
+5-2

Commits

Commits on Nov 21, 2024