Skip to content

Support per-file _CoqProject#945

Merged
gares merged 1 commit intocoq:mainfrom SkySkimmer:vscoq-multiple-coqprojectNov 18, 2024

Commits

Commits on Nov 12, 2024