Update README.md (#407)

Fixes #406
dafny-lang · Jul 10, 2023 · 852cd61 · 852cd61
1 parent 8cb7d94
commit 852cd61
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,6 @@
 # Dafny for Visual Studio Code
 
-This extension adds _Dafny 3_ support to Visual Studio Code. If you require _Dafny 2_ support, consider using the [legacy extension](https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy).
-This VSCode plugin requires the Dafny language server (shipped with the Dafny release since v3.1.0). The plugin will install it automatically upon first use.
+This extension supports Dafny version 3 and beyond. If you require _Dafny 2_ support, consider using the [legacy extension](https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy).
 
 ## Features