Skip to content

omit-proofs: handle commands that may have global effects#694

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:omit-hint-fixJan 22, 2024

Commits

Commits on Jan 22, 2024