search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

Parsing comments #755

Closed rtetley closed 5 months ago

rtetley commented 6 months ago

Draft for handling comments in vscoq. This should be merged coincidentally with https://github.com/coq/coq/pull/18821. Closes #728

Zeta611 commented 5 months ago

I think it has been merged upstream? https://github.com/coq/coq/pull/18821

rtetley commented 5 months ago

You are right ! Added the opt comp and I think it is ready for merge ! Thanks