search

coq / vscoq

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

Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) #756

Closed SkySkimmer closed 6 months ago

ejgallego commented 6 months ago

Upstream PR merged, please merge.

rtetley commented 6 months ago

Thanks ! Merging now !