Code

Dafny project file improvements#475

Code

Merged

keyboardDrummer merged 4 commits intodafny-lang:masterdafny-lang/ide-vscode:masterfrom keyboardDrummer:dafnyProjectLanguagekeyboardDrummer/ide-vscode:dafnyProjectLanguageCopy head branch name to clipboardMay 9, 2024

+10-5

Commits

Commits on May 7, 2024

• Treat Dafny project files as a different VSCode language, so they do not get incorrect syntax highlighting

  keyboardDrummer

  committed
  76e8f51

• Add syntaxes

  keyboardDrummer

  committed
  cb70fa0

Commits on May 8, 2024

• Remove unnecessary things

  keyboardDrummer

  committed
  854dbe4

• Remove garbage

  keyboardDrummer

  committed
  9f4eac4