Skip to content

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

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:diagnosticJan 25, 2025
+5-2

Commits

Commits on Jan 25, 2025