Editor context painting for Axiom wrong

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

189 stars 50 forks source link

Closed Iainmon closed 1 month ago

Iainmon commented 1 month ago

Notice line 46. Paints anything I type (even comments) as yellow beyond col 5.

Zimmi48 commented 1 month ago

Issues regarding VsCoq-legacy should be reported in their own issue tracker: https://github.com/coq-community/vscoq-legacy/issues

(I guessed this is VsCoq-legacy, but the report does not provide enough details to know for sure.)