search

coq / vscoq

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

Qed range problem #830

Open rtetley opened 2 months ago

rtetley commented 2 months ago

There seems to be a problem with the range of a Qed., it seems to encapsulate the entire proof block, i.e. Proof. [...]. Qed.. First noticed in #828. Some investigation needs to be done