This extension provides support for collecting symbols in Dafny programs (variables, functions, lemmas).
Symbols can be obtained via the command palette command-shift-O or from the outline panel.
Nested comments may not be skipped and their content (symbols) may be indexed.
Hierarchical view would be nice using the DocumentSymbol type instead of SymbolInformation. Newicons to identify logical/proof components would probably help.
Users appreciate release notes as you update your extension.
Initial release of this extension