Skip to content

coq: clear goals buffer after admitted#748

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:admitted-clearApr 6, 2024

Commits

Commits on Mar 23, 2024