search

coq / vscoq

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

Change default value for vscoq.goals.messages.full to true #831

Closed rtetley closed 2 months ago

rtetley commented 2 months ago

Closes #822