See the Change Log
v23.0.6 (2022-05-02)
- New refactoring: Change Parameter Type
- New refactoring: Change Parameter Default Value
- New refactoring: Pull Up Declaration
- New refactoring: Extract Subprogram
- Fix Call Hierarchy requests
- First steps with introducing GNATdoc for hovers
- New tasks for GNATprove integration
- Fix for aggregate completion
- Semantic tokens highlighter
- Custom colors in VS Code