Add support for outline

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Closed rtetley closed 2 months ago

rtetley commented 3 months ago

Add a documentSymbol capability in the server to get a document outline

rtetley commented 2 months ago

Clsoed by #795