src/Tools/VSCode/README.md

--- a/src/Tools/VSCode/README.md	Mon Jan 02 17:41:00 2017 +0100
+++ b/src/Tools/VSCode/README.md	Mon Jan 02 18:08:04 2017 +0100
@@ -6,7 +6,7 @@
 
 ## Run ##
 
-* Extensions: search "Isabelle 0.1.0", click "Install"
+* Extensions: search for "Isabelle", click "Install"
 
 * Preferences / User settings / edit settings.json: e.g.
     `"isabelle.home": "/home/makarius/isabelle/repos"`