Skip to content

update Coq ignored extensions and add dired-x compatibility#763

Merged
hendriktews merged 1 commit intoProofGeneral:masterfrom hendriktews:extApr 29, 2024
+4-2

Commits

Commits on Apr 25, 2024