Insert empty lines between commands of the extraction plugin - Githubissues

toku-sa-n / coqfmt

Coq code formatter

https://toku-sa-n.github.io/coqfmt/

GNU Affero General Public License v3.0

21 stars 2 forks source link

Insert empty lines between commands of the extraction plugin #421

Closed toku-sa-n closed 7 months ago

toku-sa-n commented 7 months ago

Add a test
Pass the test