Define syntax code folding for some blocks - Githubissues

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 34 forks source link

Define syntax code folding for some blocks #242

Closed theKidOfArcrania closed 2 years ago

theKidOfArcrania commented 2 years ago

Add code folding for modules, sections, and theorems

whonore commented 2 years ago

Thanks, this looks good.