Skip to content

ci/doc: document test strategy and the Coq/Emacs release table#712

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:ci-docDec 19, 2023
+429

Commits

Commits on Oct 28, 2023