Release v3.3.1
- Dafny project file improvements (#475)
- No longer let the syntax definitions for
.dfy
files also be applied todfyconfig.toml
files - Activate extension when
.toml
file is opened, such as adfyconfig.toml
- Let the language client also operate on files ending in
dfyconfig.toml
- Update the description of
dafny.version
- Remove outdated descriptions of options in the README
- No longer let the syntax definitions for
- Add Dafny 4.7.0