-
Notifications
You must be signed in to change notification settings - Fork 18
Home
Fabian Hauser edited this page Jun 18, 2020
·
4 revisions
Welcome to the ide-vscode wiki!
- Download newest Release from GitHub (https://github.com/DafnyVSCode/dafny/wiki#todo)
- Clean up Configuration Options
- Document outlines
- "Not Used Yet" should not be shown on classes with
Main
-method