coq / vscoq

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

Problem with new highlights system #784

Closed rtetley closed 4 months ago

rtetley commented 4 months ago

Highlight ranges are not correctly displayed in the following cases: