Fixing case with a no box et top of pp display - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Fixing case with a no box et top of pp display #777

Closed rtetley closed 4 months ago