coq / vscoq

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

Fix parse errors and highlight zone #732

Closed rtetley closed 7 months ago

rtetley commented 7 months ago

This introduces a fix which handles previously uncaught parse errors and new functions which allow to highlight parts of the file which was unhandled before (comments and such). Closes #638. Closes #673.